K 10 svn:author V 10 nwhitehorn K 8 svn:date V 27 2010-08-02T12:14:17.219807Z K 7 svn:log V 160 Leftover change from the old branch to make multi-platform kernels actually work. The method table of the platform KOBJ needs to be reset in order to reuse it. END