Re: kernel-3.3.4 doesn't compile when customized to disable EFI