Fix smp2_server_defconfig.