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 thesubsequent line, the updated 2/2 and 3/3 patches look fine.thanks,Mimi