K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2010-07-11T22:47:46.715826Z
K 7
svn:log
V 108
Set default kernel on powerpc64 to GENERIC64. This is a hack, but there
isn't an obviously better solution.

END