https://bugzilla.kernel.org/show_bug.cgi?id=204819
--- Comment #10 from Christophe Leroy (christophe.le...@c-s.fr) --- No no, what I mean by 'manually fixed kernel_page_tables' is that I fixed the file you attached so that it has the same values as what it would have had with the patch applied. Don't worry. -- You are receiving this mail because: You are watching the assignee of the bug.