From Tony Prisk:
Add support for WM8750 and WM8850 SoCs.
* tag 'armsoc-3.9' of git://server.prisktech.co.nz/git/linuxwmt:
arm: vt8500: Add support for Wondermedia WM8750/WM8850
arm: vt8500: Remove remaining mach includes
arm: vt8500: Convert debug-macro.S to be multiplatform friendly
arm: vt8500: Remove single platform Kconfig options