I may be wrong here, but I’ve heard that the original Linux kernel binaries+blobs are pretty huge, including not just the hardware available on my device, but also other irrelevant stuff that is probably not needed. It is kinda pointless to trim kernel on a normal device, I admit it, perhaps it could be useful for embedded systems, but I’d still want to give it a try. How do I go about doing this on NixOS? And will this change affect the detection of USB and microSD card?