Fix mux config bug
Fix mux config bug

agacek/libplatsupport,seL4/libplatsupport,seL4/libplatsupport,agacek/util_libs,agacek/util_libs,agacek/util_libs,winksaville/libplatsupport,agacek/util_libs,agacek/libplatsupport,winksaville/libplatsupport