update kernel patch set and MANIFEST