arm64: print shifter in decimal mode. this is to be consistent with ARM engine