AMD64 bootloader actually builds!