Auto merge of #734 - humenda:l4re-improvements, r=alexcrichton

L4Re improvements

This commit improves the x86_64 uClibc port and splits of L4Re-specific structs into a separate submodule. It defines additional constants and fixes some unfinished structs.