x86 idle: remove 32-bit-only "no-hlt" parameter, hlt_works_ok flag