Track kernel in the manifest