trivial: fix warning
trivial: fix warning

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