build: fix kernel build