Minor docs fixes

Signed-off-by: Ivan-Velickovic <i.velickovic@unsw.edu.au>

Author: Ivan-Velickovic

README.md

@@ -215,8 +215,8 @@ The currently supported boards are:
 * odroidc4
 * qemu_virt_aarch64
 * qemu_virt_riscv64
-* rpi4b_1gb
 * rockpro64
+* rpi4b_1gb
 * star64
 * tqma8xqp1gb
 * zcu102

docs/manual.md

@@ -910,8 +910,8 @@ Rasberry Pi 4B that have different amounts of RAM, we target the 1GB model in Mi
 If you require more than 1GB, please file an issue or pull request to add support for
 models with larger amounts of memory.
 
-For initial board setup, please see the instructions on the [seL4 website]
-(https://docs.sel4.systems/Hardware/Rpi4.html).
+For initial board setup, please see the instructions on the
+[seL4 website](https://docs.sel4.systems/Hardware/Rpi4.html).
 
 When getting into the U-Boot console you want to load the Microkit binary image to
 address 0x10000000 and then run `go 0x10000000`.