Renamed platform to board, to avoid confusion with host platform