Merge #2050

2050: Boards: RISC-V: Update the QEMU README r=alistair23 a=alistair23

### Pull Request Overview

Updates the RISC-V board READMEs to include more EMU information.

### Testing Strategy

N/A

### TODO or Help Wanted

### Documentation Updated

- [X] Updated the relevant files in `/docs`, or no updates are required.

### Formatting

- [X] Ran `make prepush`.


Co-authored-by: Alistair Francis <alistair.francis@wdc.com>
Co-authored-by: Pat Pannuto <pat.pannuto@gmail.com>

boards/hifive1/README.md

@@ -18,7 +18,9 @@ on the chip.
 Running in QEMU
 ---------------
 
-The HiFive1 application can be run in the QEMU emulation platform, allowing quick and easy testing.
+The HiFive1 application can be run in the QEMU emulation platform for RISC-V, allowing quick and easy testing.
+
+Unfortunately you need QEMU 5.1, which at the time of writing is unlikely to be avaliable in your distro. Luckily Tock can build QEMU for you. From the top level of the Tock source just run `make ci-setup-qemu` and follow the steps.
 
 QEMU can be started with Tock using the following arguments (in Tock's top-level directory):
 

boards/opentitan/README.md

@@ -106,7 +106,9 @@ You will need to have the GCC version of RISC-V 32-bit objcopy installed as the
 Running in QEMU
 ---------------
 
-The OpenTitan application can be run in the QEMU emulation platform, allowing quick and easy testing.
+The OpenTitan application can be run in the QEMU emulation platform for RISC-V, allowing quick and easy testing.
+
+Unfortunately you need QEMU 5.2, which at the time of writing is unlikely to be avaliable in your distro. Luckily Tock can build QEMU for you. From the top level of the Tock source just run `make ci-setup-qemu` and follow the steps.
 
 QEMU can be started with Tock using the `qemu` make target: