src/sys/stand/efiboot/bootriscv64