9d7c13e5dde3 ("arm64: head: record the MMU state at primary entry")