Re: CURRENT: EFI boot failure

 Bezüglich O. Hartmann's Nachricht vom 19.09.2014 15:22 (localtime):
> …
> The problem I reported about in the first place is triggered by a faulty loader.efi that
> arises, when optimisation level is -O3. -O2 works fine.

I can confirm that this problem also shows up when using
'CPUTYPE?=core-avx2'
Setting CPUTYPE to core-avx-i doesnt ehibit the problem.

I could narrow down the cause to libefi.a (sys/boot/efi).
But I don't understand the things going on there, so no clue how to fix
besides maybe

--- sys/boot/efi/Makefile.inc.orig 2014-09-23 16:22:46.000000000 +0200
+++ sys/boot/efi/Makefile.inc 2014-09-23 16:25:16.000000000 +0200
_at__at_ -2,6 +2,10 _at__at_

BINDIR?= /boot

+.ifdef CPUTYPE
+.undef CPUTYPE
+.endif
+
.if ${MACHINE_CPUARCH} == "i386"
CFLAGS+= -march=i386
.endif

-Harry