x86: fix boot on uniprocessor systems