Prints the devboard name in cpuinfo "machine" line.
Signed-off-by: NManuel Lauss <manuel.lauss@gmail.com>
Cc: James Hogan <james.hogan@imgtec.com>
Cc: linux-mips@linux-mips.org
Patchwork: https://patchwork.linux-mips.org/patch/15285/Signed-off-by: NRalf Baechle <ralf@linux-mips.org>