cmn_cyprus: Fix bad bit shift error
Fix bad bit shift error, ensure that the bit shifting happens in 64-bit by casting to uint64_t before shifting, so there is no chance for sign-extension being done implicitly.
Signed-off-by: Mahmoud Elsabbagh mahmoud.elsabbagh@arm.com