The cycleCount register is 13 bits long and the cycleOffset one is 12 bits long. To read the cycleCount register we need to shift 12 bits and not 13. Fixes #615461