K 10 svn:author V 6 andrew K 8 svn:date V 27 2017-06-03T20:02:12.532137Z K 7 svn:log V 115 Port the Samsung ARM code to use PLATFORM and PLATFORM_SMP. This will help move it into the GENERIC kernel config. END