/stand/kboot/include/arch/amd64/