XNU printf is limited

It turns out that printf in the XNU kernel (see osfmk/kern/printf.c) does not implement all the normal conversion specifiers. Specifically, I assumed “%f” for doubles would work. As if kernel programming was not hard enough already.