Hi Robin, Somehow this email account received no content. However, I managed to address your comments and will post another patch. Thanks for very detail comments. > On Sep 21, 2020, at 5:57 AM, Robin Murphy <robin.murphy at arm.com> wrote: >