K 10 svn:author V 5 tegge K 8 svn:date V 27 1999-02-15T17:36:58.000000Z K 7 svn:log V 134 Enable load of i386 ELF kernels with larger KVA range (e.g. starting at 0xe0100000u or 0xc0100000u instead of the usual 0xf0100000u). END