Add an EHCI driver to libpayload's USB stack.