[U-Boot] [PATCH] vxworks: Add CONFIG_VXWORKS_PREBOOT