These kernels aren't restricted to development boards anymore, they are closer in behavior to GENERIC, so build modules.