It's not a BIOS bug: How swapping to a DisplayPort 2.1b cable may fix your PC's boot loops