Gale Board: Change Board ID definition.