undo kernel update?