hardware: make title consistent in page/menus (#214)

* hardware: make title consistent in page/menus

Used the term "Supported platforms" (after discussion with
Gerwin and Ivan) for: the page title, the side menu and the landing page
(table of content).

Signed-off-by: June Andronick <june.andronick@proofcraft.systems>
Co-authored-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

Hardware/index.md

@@ -2,7 +2,7 @@
 SPDX-License-Identifier: CC-BY-SA-4.0
 SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
 ---
-# Supported Platforms
+# Supported platforms
 
 ### Summary
 

_data/sidebar.yml

@@ -13,7 +13,7 @@ toc:
         url: /projects/sel4/frequently-asked-questions.html
       - page: Set up your machine
         url: /projects/buildsystem/host-dependencies.html
-      - page: Supported hardware
+      - page: Supported platforms
         url: /Hardware/
       - page: Available components
         url: /projects/available-user-components.html

index.md

@@ -24,7 +24,7 @@ This documentation site is for cooperatively developing and sharing documentatio
 	<li><a href="/projects/roadmap.html">Roadmap</a></li>
 	<li><a href="/projects/buildsystem/host-dependencies.html">Build dependencies</a></li>
 	<li><a href="/GettingStarted#running-sel4">Building and Running seL4</a></li>
-	<li><a href="/Hardware">Hardware and Target platforms</a></li>
+	<li><a href="/Hardware">Supported platforms</a></li>
 	<li><a href="/projects/sel4/verified-configurations.html">Verification targets and claims</a></li>
 	</ul>
   </div>