Masking is not needed since uint32_t << 32 zero all lower bits.
Reported-by: Alessandro Rubini <rubini@gnudd.com>
Signed-off-by: Adam Wujek <adam.wujek@cern.ch>