On Fri, 2020-09-11 at 21:16 +0300, Ard Biesheuvel wrote: > I think we can just merge the patches as they are, with Mimi's R-b carried over. Other than the comments beginning on the "/*" line as opposed to the subsequent line, the updated 2/2 and 3/3 patches look fine. thanks, Mimi