Strange BIOS time issue since switching to Opencore (details in comment)