(In reply to Jeff Mahoney from comment #9) > This is for using linux32. And I assume it will not handle case b), as it does not touch 32-bit arm code. There appears to be no equivalent uts_name= option.