rtems4.11: Forgot to make the change to 4.9.2.