BoradConfig.mk: Switch Kernel deconfigs