fwiw, comment #3 happened after I reboot the computer, maybe changing into uefi mode. I forget. I no longer have access to the computer in question, so I won't be able to follow up with this bug report in the future.
fwiw, comment #3 happened after I reboot the computer, maybe changing into uefi mode. I forget. I no longer have access to the computer in question, so I won't be able to follow up with this bug report in the future.