Drop OhciDxe sources; will restart later