Function _pmuSetCountEvent_ does not work correct any more under HalCogen 04.04.00. In the autogenerated code in file sys_mpu.asm there is a missing first line "lsr r0,r0,#1", which was present in earlier versions of HalCoGen. When adding the missing line the function works as expected. What was the reason to remove it?