migrating to thin-manifests and adding older *.4.2 rhel7 kernel