Fix CPU setting in vxworks Makefils