Re: How to profile the kernel during its initialization?