vxworks: Update file header info.