The HTML documentation generation does not work properly if we try to put more than one board into same directory. So rename the directory to reflect this. Signed-off-by: Jukka Rissanen <jukka.rissanen@linux.intel.com>