OhciDxe: style nits