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