spec checks for kernel pinned to wrong version