5e128f7a037efda656022c63691e5eb097fc6656
the patch from David Abdurachmanov davidlt@rivosinc.com
Pull-Request has been merged by ngompa
Adding @davidlt
the patch from David Abdurachmanov davidlt@rivosinc.com