Starting AMD64 paging code in bootloader