Make sure to build GENERIC kernel on release build.

This means there is no kernel binary in past releases. Oh well...