build-kernel.sh: ugh, use grep