Adding kernel configuration options to installation script