Adds debug settings, to debug the kernel with qemu + kdbg