A80 I2C support
User-triggerable kmem_alloc(0).

Ok martin@ christos@

User
A80 EHCI and OHCI support