So just in case, yes, the problem is reproducible with latest BIOS version and comment #12 is made with the latest BIOS installed.
So just in case, yes, the problem is reproducible with latest BIOS version and comment #12 is made with the latest BIOS installed.