x86, 32-bit: fix boot failure on TSC-less processors