fe45ee7ed0a946bf2bd10276de33f7b2bef5f302
On ARM we can't yet globally map pages into every process. So now that we correctly receive the pointer to the globally mapped kern_info struct, we have to ignore it on ARM because attempting to dereference the pointer yields a segfault.
Description
No description provided