kernel build and debug