Check for kernel .config options, regenerate Manifest