aarch64 register MDCCINT_EL1 exhibits bizzare behavior