x86: fix bootup crash in native_read_tsc()