boardconfig: build the kernel from source