On 28/04/2025 15:39, Mikołaj Lenczewski wrote: > Embarassingly, managed to leave around a stale patch when renaming the > commit. Please ignore this patch, the correct one is "Elide tlbi in > contpte_convert() under BBML2". Am considering resending... > I think it would be clearer to resend. Otherwise people are going to get confused.