Investigate running MCS on Qemu simulation targets #72
Description
(Imported form https://sel4.atlassian.net/browse/SELFOUR-2377)
simulation sel4test builds don't run any MCS configurations. Historically this was because of many of the tests are time sensitive and don't handle Qemu's emulation of time very well.
When done, switch on in CI (see seL4/ci-actions#188).