[U-Boot] [PATCH 2/4]v2: Add vxworks.h to handle CONFIG_SYS_VXWORKS parameters