CI: build: make kernel build configurable