explicitly set CONFIG_SHELL to bash for the kernel headers configure