Follow-up from https://github.com/seL4/seL4/pull/727 Document Pine64 Quartz64Board support and maintainer. Or list this an unmaintained and mention at least that a PR/branch exists with the changes.