sys/tools/fw_stub.awk: Change printf to kprintf as this is kernel code.