On Fri, Jan 19, 2018 at 12:30:25PM -0700, Chris Murphy wrote: > Two x86_64 UEFI computers (different CPUs and firmware OEMs) won't > boot this kernel. Yeah, it seems very broken. I also get the immediate reboot experience. _______________________________________________ kernel mailing list -- kernel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to kernel-leave@xxxxxxxxxxxxxxxxxxxxxxx