How to debug the very first part of kernel