Fix spelling
Fix spelling

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