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