diff --git a/kernel_config_fragment b/kernel_config_fragment
index 17de866..932afa4 100644
--- a/kernel_config_fragment
+++ b/kernel_config_fragment
@@ -109,7 +109,7 @@ CONFIG_GPIOLIB=y
 CONFIG_GPIO_SYSFS=y
 CONFIG_GPIO_PL061=y
 
-# run -a arm
+#     run -a arm
 #
 # In target:
 #
@@ -121,6 +121,7 @@ CONFIG_GPIO_PL061=y
 #     lkmc_platform_device_write offset=0 value=12345678 size=4
 #     dummy-irq: interrupt occurred on IRQ 34
 #
-# When the device generates an IRQ,
-# the dummy module also snoops it.
+# When the device generates an IRQ, the dummy module also snoops it.
+#
+# The IRQ number 34 was found by via dmesg on a previous "insmod /platform_device.ko".
 CONFIG_DUMMY_IRQ=m