Also build kernel/kmod if building kernel/linux in default preset