diff --git a/src/mainboard/asus/p5qc/Kconfig b/src/mainboard/asus/p5qc/Kconfig
index e8d596f6fa..75c7c7c80e 100644
--- a/src/mainboard/asus/p5qc/Kconfig
+++ b/src/mainboard/asus/p5qc/Kconfig
@@ -53,7 +53,7 @@ config MAX_CPUS
 	int
 	default 4
 
-# The MARVEL IDE controller delays SeaBIOS a lot and results in an unbootable
+# The MARVELL IDE controller delays SeaBIOS a lot and results in an unbootable
 # bogus disk. Compiling SeaBIOS without ATA support is a workaround.
 
 config PAYLOAD_CONFIGFILE
diff --git a/src/mainboard/asus/p5qc/variants/p5q_pro/devicetree.cb b/src/mainboard/asus/p5qc/variants/p5q_pro/devicetree.cb
index 8753d4ca75..d6456099e8 100644
--- a/src/mainboard/asus/p5qc/variants/p5q_pro/devicetree.cb
+++ b/src/mainboard/asus/p5qc/variants/p5q_pro/devicetree.cb
@@ -55,7 +55,7 @@ chip northbridge/intel/x4x		# Northbridge
 			device pci 1c.1 off end		# PCIe 2
 			device pci 1c.2 off end		# PCIe 3
 			device pci 1c.3 off end		# PCIe 4
-			device pci 1c.4 on end		# PCIe 5 MARVEL IDE
+			device pci 1c.4 on end		# PCIe 5 MARVELL IDE
 			device pci 1c.5 on end		# PCIe 6
 			device pci 1d.0 on end		# USB
 			device pci 1d.1 on end		# USB
diff --git a/src/mainboard/asus/p5qc/variants/p5qc/devicetree.cb b/src/mainboard/asus/p5qc/variants/p5qc/devicetree.cb
index 6fac0634e0..842012452b 100644
--- a/src/mainboard/asus/p5qc/variants/p5qc/devicetree.cb
+++ b/src/mainboard/asus/p5qc/variants/p5qc/devicetree.cb
@@ -55,7 +55,7 @@ chip northbridge/intel/x4x		# Northbridge
 			device pci 1c.1 off end		# PCIe 2
 			device pci 1c.2 off end		# PCIe 3
 			device pci 1c.3 off end		# PCIe 4
-			device pci 1c.4 on end		# PCIe 5 MARVEL IDE
+			device pci 1c.4 on end		# PCIe 5 MARVELL IDE
 			device pci 1c.5 on end		# PCIe 6
 			device pci 1d.0 on end		# USB
 			device pci 1d.1 on end		# USB