Few tweaks for 3.0.35 1.1.0 hdmidongle

Hi,

Just a few minor things I tweaked while I was working on my Debian installer. Nothing major. Shouldn't break anything I don't think.

Can split into individual pull requests if it makes things easier, just ask.

- Angus