rtems_waf: fix typo