Marius Strobl 8db04c5c8f Revert r190105 so that removing options KDB but DDB or GDB being
available will cause the kernel to not respect -d and boot_kdb=1
for consistency with the other platforms as pointed out by marcel@.
2009-03-20 17:10:50 +00:00
..
2009-03-19 20:31:55 +00:00
2009-03-19 20:57:59 +00:00