K 10 svn:author V 5 peter K 8 svn:date V 27 2003-06-26T00:58:57.000000Z K 7 svn:log V 99 For amd64, delete the IA32 option for the boot kernel since it needs SYSV*, which is also removed. END