Maybe not tested after the cold boot? Or it might have been fixed in BIOS side :) The quirk is about instability and retrying the probe.