That said, this whole discussion is as silly as the one about not putting a kernel debugger in the main kernel source code.
Linux desperatly needs both a kernel debugger, and an ABI to be a REAL alternative for many customers.