RE: Kernel build problem