kernel: Remove use of "%b" format in main kernel code.