[U-Boot] [PATCH] vxworks.h: Fix build problem introduced by commits 29a4c24d/e9084b23