manual: more cleanup/fixes

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

Author: Ivan-Velickovic

docs/manual.md

@@ -1140,7 +1140,7 @@ booting. It is recommended to use the mainline OpenSBI.
 
 The IOT-GATE-IMX8PLUS is based on the NXP i.MX8MP SoC.
 
-Microkit will default to outputting a raw binary file, so when using U-Boot you must execute the image using:
+Microkit will produce a raw binary file by default, so when using U-Boot run the following command:
 
     => go 0x50000000
 
@@ -1193,27 +1193,27 @@ Using a GDB prompt via openOCD:
 
 ## i.MX8MM-EVK {#imx8mm_evk}
 
-Microkit will default to outputting a raw binary file, so when using U-Boot you must execute the image using:
+Microkit will produce a raw binary file by default, so when using U-Boot run the following command:
 
     => go 0x41000000
 
 ## i.MX8MP-EVK {#imx8mp_evk}
 
-Microkit will default to outputting a raw binary file, so when using U-Boot you must execute the image using:
+Microkit will produce a raw binary file by default, so when using U-Boot run the following command:
 
     => go 0x41000000
 
 ## i.MX8MQ-EVK {#imx8mq_evk}
 
-Microkit will default to outputting a raw binary file, so when using U-Boot you must execute the image using:
+Microkit will produce a raw binary file by default, so when using U-Boot run the following command:
 
     => go 0x41000000
 
 ## MaaXBoard {#maaxboard}
 
 The MaaXBoard is a low-cost ARM SBC based on the NXP i.MX8MQ system-on-chip.
 
-Microkit will default to outputting a raw binary file, so when using U-Boot you must execute the image using:
+Microkit will produce a raw binary file by default, so when using U-Boot run the following command:
 
     => go 0x50000000
 
@@ -1223,15 +1223,15 @@ The HardKernel Odroid-C2 is an ARM SBC based on the Amlogic Meson S905 system-on
 should be noted that the Odroid-C2 is no longer available for purchase but its successor,
 the Odroid-C4, is readily available at the time of writing.
 
-Microkit will default to outputting a raw binary file, so when using U-Boot you must execute the image using:
+Microkit will produce a raw binary file by default, so when using U-Boot run the following command:
 
     => go 0x20000000
 
 ## Odroid-C4 {#odroidc4}
 
 The HardKernel Odroid-C4 is an ARM SBC based on the Amlogic Meson S905X3 system-on-chip.
 
-Microkit will default to outputting a raw binary file, so when using U-Boot you must execute the image using:
+Microkit will produce a raw binary file by default, so when using U-Boot run the following command:
 
     => go 0x20000000
 
@@ -1345,7 +1345,7 @@ U-Boot commands:
 
 ## Pine64 ROCKPro64 {#rockpro64}
 
-Microkit will default to outputting a raw binary file, so when using U-Boot you must execute the image using:
+Microkit will produce a raw binary file by default, so when using U-Boot run the following command:
 
     => go 0x30000000
 
@@ -1364,7 +1364,7 @@ The default boot flow of the Star64 is:
 This means that the system image that Microkit produces does not need to be explicitly
 packaged with an SBI implementation such as OpenSBI.
 
-To execute the system image produced by Microkit, execute the following command in U-Boot:
+Microkit will produce a raw binary file by default, so when using U-Boot run the following command:
 
     => go 0x60000000
 
@@ -1413,7 +1413,7 @@ To use tftp you also need to set the file to load and the memory address to load
     => env set loadaddr 0x80280000
     => env save
 
-The system image generated by the Microkit tool is a raw binary file.
+The system image generated by the Microkit tool by default is a raw binary file.
 
 An example sequence of commands for booting is:
 
@@ -1489,7 +1489,7 @@ PCIDs not supported by the processor
 
 The ZCU102 can run on a physical board or on an appropriate QEMU based emulator.
 
-Microkit will default to outputting a raw binary file, so when using U-Boot you must execute the image using:
+Microkit will produce a raw binary file by default, so when using U-Boot run the following command:
 
     => go 0x40000000