CDD: Clarifying kernel page table isolation
am: 0faef185bc

Change-Id: I294ed79e8bdc3d49b8c2785d039151867a17eb6f