Is there any documentation that talks about x86_64 and the modern UEFI boot process? This guide still talks about BIOSs, MBRs, real mode, 16-bit registers, etc.