make the kernel wall proof 2/2
Make the kernel wall proof 3/2