Restart OhciDxe driver development