diff --git a/documentation/kernel-dev/kernel-dev-common.xml b/documentation/kernel-dev/kernel-dev-common.xml
index 579a03537b..c1c2d6d703 100644
--- a/documentation/kernel-dev/kernel-dev-common.xml
+++ b/documentation/kernel-dev/kernel-dev-common.xml
@@ -948,12 +948,14 @@
KBUILD_DEFCONFIG_KMACHINE ?= defconfig_file
- Here is an example that appends the
- KBUILD_DEFCONFIG variable with
- "common-pc" and provides the path to the "in-tree"
- defconfig file:
+ Here is an example that assigns the
+ KBUILD_DEFCONFIG variable based on
+ "raspberrypi2" and provides the path to the "in-tree"
+ defconfig file
+ to be used for a Raspberry Pi 2,
+ which is based on the Broadcom 2708/2709 chipset:
- KBUILD_DEFCONFIG_common-pc ?= "/home/scottrif/configfiles/my_defconfig_file"
+ KBUILD_DEFCONFIG_raspberrypi2 ?= "bcm2709_defconfig"