Signed-off-by: Rob Bradford <rbradford@rivosinc.com> (cherry picked from commit 307a0166c5)
307a0166c5