Add kernel version in build config