[ewg] backport for kernel.h (upper_32_bits macro)

[Tziporet Koren]

Glenn Streiff wrote:
>> So for a typical kernel.h backport file, I'm proposing:
>>     
>
>
> Looks like I need to run this through ofed_makedist.sh as well.
>
>   
Was this resolved?

Tziporet