[coreboot-gerrit] Change in coreboot[master]: src/drivers/usb/ehci_debug.c: Add missing include