✏️ Editing: kernelpkg.py