Re: [U-Boot] [PATCH fix for v2014.10 2/5] usb: ehci: Add missing cache flush to destroy_int_queue