Make the kernel plugin extract the kernel version from the Linux source code tree and take decision using this extracted data: at the moment, i'm skipping the 'make firmware_install' step if kernel version >= 4.14 (since that target was retired in 4.14 and compilation would fail there) but in the future i want to exploit this feature to adjust the kernel config based off the specific kernel version we are building.