x86: clean up get_smp_config()