Merge the 3 copies of devlist2h.awk that deal with 16 bit key and value
pairs to the compressed one that matt wrote.
regen
add the common code for verbose printing of devices.
Adjust to kernel changes
remove more old pci_findvendor code
Fix Exynos5 SoC OHCI hang

Redo the Exynos 5410 USB phy initialisation following uboot
Re-enable OHCI since the Exynos5 SoC OHCI hang has been fixed
remove dead code
fix leak.
fix leak
fix leak.
fix cut-n-paste
remove dead code
this is not python (add missing braces)
remove stray ;
fix leak.
fix leak
fix leak.
remove stray continue.
fix leak.