Update the https://docs.sel4.systems/Hardware/ page to make sure it's consistent, up to date, and with an easy high-level take-away for a wider audience.

• add an exec summary at the very top: x86, ARM, RISC-V; maybe also saying whether it's 32 and 64 bits; maybe be clear about the situation for MCS / multicore; maybe linked from seL4 main website?
• add link to the "verified configurations" page
• make things consistent across the page / other pages
  • IOMMU vs SMMU vs System MMU
  • the RISC-V table header should be bold and grey
  • "in progress" vs "pending" for the verification status
  • ARM HYP vs ARM Hyp
  • "status" in the table should be "verification status" to be clearer
• for verification status: do we ignore SysInit? BV?
• what is the "pending" Ariane RISC-V?