Subject: FIX Me in pgtable.h

From: [email-masked] (nick)
Date: Tue, 23 Sep 2014 09:04:09 -0400

Greetings Arm Maintainers,
I am wondering about the fix me in pgtable.h for define kern_addr_valid and how to set it to a correct
value as you state that this needs to be fixed as the defined macro is still 1. This is probably incorrect
and should be changed.
Thanks,
Nick