board: build the kernel inline