v4.2

Created by: zarubaf

I've added a custom Linux fork including @jrrk's patches (it is actually based on it). Furthermore, the Linux includes a patch which should

• Enable Xilinx IPs on RISC-V
• Fixes alignment issues (largely based on remembering what was wrong and looking at Princeton code)
• Fixes compile time warnings @msfschaffner please try and report back.