seL4
arch-split: EmptyFail, Invocations_R, Machine_R
Again, review commit-by-commit. This one should be merged after https://github.com/seL4/l4v/pull/904
EmptyFail had some noise resulting from the platform wp sets not being consistent, hence the empty_fail_getObject appearance.
Invocations_R turned out to be small and while it did have an architecture-specific proof, it was uninteresting and identical on all platforms. Hence the (in Arch) plus requalify, we don't gain much from another file here. One could even argue Invocations_R could be entirely absorbed by StateRelation.
Machine_R is largely machine and arch-specific stuff, so I cleaned it up and factored out the common parts. Nothing interesting there, so only one commit. Hopefully the diff isn't too bad.
