Feedback post on Kernel build instructions