make kernel version a config parameter