Here's a patch from Tony Luck that fixes a problem with the UHCI
debugging code on architectures with big page sizes. We end up
allocating more than kmalloc allows.