Sam Lewis has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/43137 )
Change subject: armv7: mmu: Use 'tlbimva' to invalidate TLB entries ......................................................................
Patch Set 2:
Thanks for the patch and welcome to coreboot! Based on your explanation and that you have tested it on your hardware, I'm happy to just take this patch without further testing. If it works for you it should work on other platforms too.
Please check out the line comments and upload another version with those addressed (at least the one about removing the function), then I'll approve it!
Thanks for the speedy reply and warm welcome, Julius! Have submitted a second version that addresses your comments.