x86: shift bits the right way in native_read_tscp