Good to hear. If BIOS got fixed, it's the best solution. I close the bug now. Feel free to reopen if you still see the same issue again.