Create config-vxworks6.7.h