Correction: the output for the non-working boot is not from dmesg but from the serial console :-)
Attachment: signature.asc Description: This is a digitally signed message part