Dynamic kernel patch manager