use github actions matrix like how seL4 does it to run more hardware jobs / builds at once

[midnightveil]

This should speed up CI a lot, instead of running serially.