Ok, answering my own question: vmalloc=256M fixed the problem with booting the 
32bit kernel.

And I can confirm that the problem exists in both 32bit and 64bit kernels.

Andrew Walrond


-------------------------------------------------------
This SF.Net email is sponsored by: InterSystems CACHE
FREE OODBMS DOWNLOAD - A multidimensional database that combines
robust object and relational technologies, making it a perfect match
for Java, C++,COM, XML, ODBC and JDBC. www.intersystems.com/match8