softhier: imported modifications from patch#30

haugoug wants to merge 2 commits intomastergvsoc/gvsoc-pulp:masterfrom

softhier_mergegvsoc/gvsoc-pulp:softhier_mergeCopy head branch name to clipboard