x86: smp_scan_config() debugging printouts