fixed miniitx devicetree linux command line (to match ramdisk) and added /dev/fpgaXXX devices
changed boardname from miniitx -> miniitx100.  Updated dts file so that it actually works