remove linux-debian from the setup-board documentation