linux/compat.h: port lower_32_bits and upper_32_bits from Linux