kernel: make debug an attribute of the Kernel object
kernel: make debug an attribute of the Kernel object

b1101/browsix,b1101/browsix,b1101/browsix,b1101/browsix,flat1101/browsix,flat1101/browsix,flat1101/browsix,flat1101/browsix