OK, it seems that workaround #4 works if I wait a bit before shutdown/reboot. If I switch off the computer immediately after the boot, the problem will still be there.
OK, it seems that workaround #4 works if I wait a bit before shutdown/reboot. If I switch off the computer immediately after the boot, the problem will still be there.