Support x86_64 targets#22

matneutrality wants to merge 14 commits intoIvan-Velickovic:devIvan-Velickovic/microkit:devfrom

Makatea-Project:microkit-x86Makatea-Project/sel4cp:microkit-x86Copy head branch name to clipboard