3 files changed, 20 insertions, 18 deletions
diff --git a/Documentation/mainboard/hp/8760w.md b/Documentation/mainboard/hp/8760w.md
index 714745aa04..071d35e251 100644
--- a/Documentation/mainboard/hp/8760w.md
+++ b/Documentation/mainboard/hp/8760w.md
@@ -2,6 +2,9 @@
 
 This page describes how to run coreboot on the [HP EliteBook 8760w].
 
+The coreboot code for this laptop is still not merged, you need to
+checkout the [code on gerrit] to build coreboot for the laptop.
+
 ## Flashing coreboot
 
 ```eval_rst
@@ -29,7 +32,7 @@ This page describes how to run coreboot on the [HP EliteBook 8760w].
 ## Required proprietary blobs
 
 - Intel Firmware Descriptor, ME and GbE firmware
-- EC: please read [EliteBook Series](elitebook_series)
+- EC: please read [HP Laptops with KBC1126 Embedded Controller](hp_kbc1126_laptops)
 
 ## Flashing instructions
 
@@ -80,3 +83,4 @@ clip to read and flash the chip.
 ```
 
 [HP EliteBook 8760w]: https://support.hp.com/us-en/product/hp-elitebook-8760w-mobile-workstation/5071180
+[code on gerrit]: https://review.coreboot.org/c/coreboot/+/30936
diff --git a/Documentation/mainboard/hp/elitebook_series.md b/Documentation/mainboard/hp/hp_kbc1126_laptops.md
index 6668928008..357af4fb42 100644
--- a/Documentation/mainboard/hp/elitebook_series.md
+++ b/Documentation/mainboard/hp/hp_kbc1126_laptops.md
@@ -1,13 +1,14 @@
-# HP EliteBook series
+# HP Laptops with KBC1126 Embedded Controller
 
 This document is about HP EliteBook series laptops up to Ivy Bridge era
 which use SMSC KBC1126 as embedded controller.
 
-## EC
+SMSC KBC1126 (and older similar chips like KBC1098) has been used in
+HP EliteBooks for many generations.  BIOS and EC firmware share an SPI
+flash chip in these laptops, so we need to put firmware blobs for the
+EC to the coreboot image.
 
-SMSC KBC1098/KBC1126 has been used in HP EliteBooks for many generations.
-They use similar EC firmware that will load other code and data from the
-SPI flash chip, so we need to put some firmware blobs to the coreboot image.
+## EC firmware extraction and coreboot building
 
 The following document takes EliteBook 2760p as an example.
 
@@ -32,18 +33,15 @@ Chipset --->
       (2760p-fw2.bin) KBC1126 filename #2 path and filename
 ```
 
-## Super I/O
+## Porting guide for HP laptops with KBC1126
 
-EliteBook 8000 series laptops have SMSC LPC47n217 Super I/O to provide
-a serial port and a parallel port, you can debug the laptop via this
-serial port.
-
-## porting
-
-To port coreboot to an HP EliteBook laptop, you need to do the following:
+To port coreboot to an HP laptop with KBC1126, you need to do the
+following:
 
 - select Kconfig option `EC_HP_KBC1126`
-- select Kconfig option `SUPERIO_SMSC_LPC47N217` if there is LPC47n217 Super I/O
+- select Kconfig option `SUPERIO_SMSC_LPC47N217` if there is LPC47n217
+  Super I/O, usually in EliteBook 8000 series, which can be used for
+  debugging via serial port
 - initialize EC and Super I/O in romstage
 - add EC and Super I/O support to devicetree.cb
 
@@ -51,8 +49,8 @@ To get the related values for EC in devicetree.cb, you need to extract the EFI
 module EcThermalInit from the vendor UEFI firmware with [UEFITool]. Usually,
 `ec_data_port`, `ec_cmd_port` and `ec_ctrl_reg` has the following values:
 
-- For xx60 series: 0x60, 0x64, 0xca
-- For xx70 series: 0x62, 0x66, 0x81
+- For EliteBook xx60 series: 0x60, 0x64, 0xca
+- For EliteBook xx70 series: 0x62, 0x66, 0x81
 
 You can use [radare2] and the following [r2pipe] Python script to find
 these values from the EcThermalInit EFI module:
diff --git a/Documentation/mainboard/index.md b/Documentation/mainboard/index.md
index 7637f7bcbe..57df302986 100644
--- a/Documentation/mainboard/index.md
+++ b/Documentation/mainboard/index.md
@@ -58,7 +58,7 @@ The boards in this section are not real mainboards, but emulators.
 
 ### EliteBook series
 
-- [EliteBook common](hp/elitebook_series.md)
+- [HP Laptops with KBC1126 EC](hp/hp_kbc1126_laptops.md)
 - [EliteBook 8760w](hp/8760w.md)
 
 ## Intel