booting a modular kernel