fix: patches from kent#99

ridale wants to merge 3 commits intoseL4:masterseL4/util_libs:masterfrom

ridale:fix/kent-patchesridale/util_libs:fix/kent-patchesCopy head branch name to clipboard