kernel fixes for 64 bit