/sys/lib/libgnuefi/arch/