Bug 68761 corrigido

Existia um bug no kernel, de manifestação aleatória, que fazia o código EFI stub falhar. Impedia inicializar com o Gummiboot e demais bootloaders anti-inchaço para UEFI.

Estará consertado no 3.16 e podemos esperar backports para as séries estáveis.

x86/efi: Include a .bss section within the PE/COFF headers