Known bug, probably a flaw of the CPU core (i.e. not the timing).