[U-Boot] [PATCH v3] linux/compat.h: port lower_32_bits and upper_32_bits from Linux