Merge pull request 'dell3050: misc typo fixes' (#132) from kratz00/lbwww:dell_3050 into master

Reviewed-on: https://codeberg.org/libreboot/lbwww/pulls/132

site/docs/install/dell3050.md

@@ -51,6 +51,7 @@ P*: Partially works with vendor firmware
 | **GRUB (libgfxinit only)** | Works     |
 | **SeaBIOS**                | Works     |
 </div>
+
 Buy pre-installed
 =================
 
@@ -135,7 +136,7 @@ OS-based software attacks).
 MAC address
 -----------
 
-This has a realtek NIC inside, instead of Intel, so the MAC address will not
+This has a Realtek NIC inside, instead of Intel, so the MAC address will not
 change. This means: there is no GbE region in the flash.
 
 You can still use something like GNU MAC Changer to change your MAC address
@@ -168,7 +169,7 @@ instructions](../install/spi.md) - that page refers to use of socketed flash.
 
 The side cover comes off easily, and you can find the flash ICs next to the RAM.
 Simply remove the screw at the back. The top panel then slides forward, and you
-can remove the SSD caddy; from then on, the flash is accossible.
+can remove the SSD caddy; from then on, the flash is accessible.
 
 Observe the following photo of the flash (SOIC-8):
 
@@ -229,9 +230,9 @@ On *this* platform, you can easily turn it off from coreboot.
 onward, on this board. To turn it back on, please [build from source](../build/)
 and before running the build command, do this:
 
-	./mk -m coreboot t480_vfsp_16mb # replace t480 with t480s if needed
+	./mk -m coreboot dell3050micro_vfsp_16mb
 
-In the menu that appears, go *Chipset -> Enable Hyperthreading* and turn it on.
+In the menu that appears, go *Chipset -> Enable Hyper-Threading* and turn it on.
 Then exit from the menu, saving the config where prompted. You will see this
 menu twice, because there are *two* configs for each of these boards.