OhciDxe: magic numbers are not good