build genkernel readded as default