rtems: Fix type in RTEMS kernel build.

Reported by Marco Hoefle <marco.hoefle@nanotronic.ch>.