K 10 svn:author V 3 mjg K 8 svn:date V 27 2020-01-30T20:05:05.113477Z K 7 svn:log V 68 Remove duplicated empty lines from kern/*.c No functional changes. END