Renamed platform to board to avoid confusion with host platform