Return value should remain `unsigned int` as this is a 32-bit value read from PL011