Nein. Du kannsts im BIOS auch auf 12 umstellen