Added librxe code retrieved from http://support.systemfabricworks.com/downloads/rxe/
Added custom kernel source patched with rxe libraries and hacked to trick the infiniband drivers into thinking that the odroid has PCI support
Removed some accidentally generated log files from an earlier build