* bus/usb/uhci.c: Remove unneeded doubled lines. * bus/usb/ohci.c: Likewise. Change interf to grub_uint32_t. Remove whitespace inside comment.