Fix name of i.MX31 boards in config file header