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