PS/2 bus manager: style fixes only