Introducing kernel version choice in the ISO build