KnobSerialization: serialize choice knobs with their label