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>