Sorry for the spam, I thought the two attachments would be inserted in the same
comment.

I think I'm afflicted by the same bug on different HW (Asrock AB350 ixt, Ryzen
5 2400G), Debian Stretch running vanilla kernel 4.17.5. I would say my boot
rate is 1 in 4~5 attempts.

Feel free to require other info.