Network manager is too heavy, so move that to the desktop configuration and use wpa_supplicant on kernighan (shouldn't need wireless at all but nice to have the option). Similarly with the bootloader, use a lighter option on kernighan.