It's very interesting why we Linux define "make mrproper" to clean the kernel. I searched in website and found Mr.Clean is a company which sell the clean service. The famous name in Europe is mrporper. The father of Linux is more familiar with mrproper. So Linux OS uses "make mrproper" to clean the kernel.