vxworks.h: Fix build problem introduced by commits 29a4c24d/e9084b23

Signed-off-by: Wolfgang Denk <wd@denx.de>
1 file changed