Fix derp of board-8975.c removal