SeL4 security proofs now complete on AArch64

seL4 on AArch64 is now verified for functional correctness