2016-03-08 22:48 GMT+01:00 Scott Ashcroft <scott.ashcroft@talk21.com>: > The patch makes no difference. > Is there anything else I can do to help figure this out? You can use the kernel command line "earlyprintk=efi,keep". This way the kernel will print messages to see what's going on (and maybe a traceback in case of crash).