fix invalid ifdef -- s/NS/TICKS/
fix invalid ifdef -- s/NS/TICKS/

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