Polish hw_interface

This is a set of mostly cosmetical changes to hw_interface, extracted to make the following documentation patches more precise and less conflict prone.