Bug 852583: Add --menuconfig to distrib/build-kernel.sh