Comment # 63 on bug 109206 from Talha Khan

I updated my kernel to 5.1.19, and the firwmare files were updated, but I
wasn't able to boot. I had to boot back into 5.1.16 and perform the workaround
before being able to boot into 5.1.19.