some minor corrections and improvements
- design now also works for Xilinx tools 14.6
- more specific output in kernel module: pr_hw_sw_interface
- use alias in config.sh to ease partial reconfiguration
- reordered partial hw thread in system.mhs such that it will be synthesized first