UDBG now prints critical kernel messages