bugfix for BogoMIPS