Use "dev board" instead of i.MX6 board
The plasma mobile as well as the GNOME builder tutorial talk about the i.MX6 board. We should deprectate that wording and rather talks about "development" boards and rather link to the "Boards" chapter to make people pick the right dev board (nitrogen, devkit or phone).