VDR 1.3.38: menu key no longer works

[pb at bieringer.de (Peter Bieringer)]

Klaus Schmidinger wrote:
>> It's caused by the 64 bit shift limit, pressing F12 causes 5 ReadKey
>> calls, resulting in 80 bit, but only lower 64 bit are returned:
> 
> 
> Are you sure about that?
> 64 bit are 8 byte, and 5 ReadKey() calls should only result in
> 5 * 8 = 40 bit.

Too much beer yesterday...I will debug further on.

	Peter