Does anyone have any opinion on whether plat-s5pc1xx should stay? At the moment it is only servicing mach-s5pc100 and thenew support for v210 and s5pc110 seem to be using plat-s5p and not plat-s5pc1xx.