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


OK, thanks. Is there a list of known bugs (I've checked bugzilla and it looks empty) to avoid double reports?