A few CPU hardware bugs