diff --git a/Documentation/arm64/booting.txt b/Documentation/arm64/booting.txt
index e38793899c184e5e29ee197465ca4a9cdab46b80..2890ece8625f174b48decb4996b78c554c361e53 100644
--- a/Documentation/arm64/booting.txt
+++ b/Documentation/arm64/booting.txt
@@ -197,6 +197,9 @@ Before jumping into the kernel, the following conditions must be met:
   - If EL3 is present:
     ICC_SRE_EL3.Enable (bit 3) must be initialiased to 0b1.
     ICC_SRE_EL3.SRE (bit 0) must be initialised to 0b1.
+    ICC_CTLR_EL3.PMHE (bit 6) must be set to the same value across
+    all CPUs the kernel is executing on, and must stay constant
+    for the lifetime of the kernel.
   - If the kernel is entered at EL1:
     ICC.SRE_EL2.Enable (bit 3) must be initialised to 0b1
     ICC_SRE_EL2.SRE (bit 0) must be initialised to 0b1.