src/sys/lib/libgnuefi/arch/i386