Problems with installing Big Sur. (more info in comments.)