K 10 svn:author V 6 sbruno K 8 svn:date V 27 2014-03-05T04:19:52.160311Z K 7 svn:log V 65 Update location of hints and name of the kernel we are building. END