abi_x86_64 amd64 boot elibc_glibc kernel_linux uefi64
