Wow. It has been over a decade since I built a Linux kernel for embedded system purposes.
boot.kernelPatches = [ {
name = "minimal-config";
patch = null;
extraConfig = ''
CONFIG_CORE_SMALL y
CONFIG_NET_SMALL y
...
'';
} ];
