sky2: use upper_32_bits() macro