a323f3fc97
for kernel printf functions - understand the db_printf %n,%r,%z format specifiers - understand the kernel printf %: format specifier - Be more permissive to %b arguments: accept any integer type, not only unsigned ints.