Banale Frage: Wie verfahren (mit OC) bei BIOS statt UEFI?