Created attachment 765650 [details] Kernel logs for boot of kernel 4.15.14.g2728b20, with no extra parameters