riotboard: convert to generic board
riotboard: update default devicetree filename

the linux kernel filename for the riotboard devicetree is imx6dl-riotboard.dtb
so use this as our default instead of imx6s-riotboard.dtb