rtos/os-decls.h: local port::priority_t
rtos/os-decls.h: local port::priority_t

- todo: move it to port

micro-os-plus/cmsis-plus,micro-os-plus/cmsis-plus,micro-os-plus/cmsis-plus,micro-os-plus/cmsis-plus