Just installed the kernel provided by Ben Hutchings. The server now boots normally and appear to function OK. Thanks, -- Oron Peled