scripts/build/kernel/bare-metal.sh
2008-09-16 Generate the kernel config choice, rather than having it hard-coded: