x86: minor adjustments for do_boot_cpu