fix kernel version detection in config/scripts/