Fix up x86_64_sel4 arch after merge
Support a seL4 x86_64 build
Port musl to x86-64. One giant commit!