[seL4] Re: Camkes SerialServer and util_libs/libplatsupport with ODROID-C4