ci/a5xx: Start using upstream kernel, enabling SMP and fixing piglit runs
Rob hit an issue with a5xx TF, so I went to write a fix to a5xx TF, but I couldn't run piglit in CI, so I resurrected this branch to get an upstream, SMP-capable kernel on our db820cs so that we could get better coverage.