travis: build kernel extension