Comment 10 for bug 1824703

Ok, well, no idea what happened, but I did a hard power cycle with that kernel parameter, and it started working. I rebooted again without it, and it still worked. Perhaps the hard power cycle did something different this time with the new BIOS, but I thought I had done that since. In any event, it's unfortunate I can't point to the specific issue, but good that it's working. Thanks for the help!