annoying nitlet in kernel click_chatter()

[Eddie Kohler]

Dearest Douglas,

Could you provide a more specific bug case? I did this in the kernel:

    click_chatter("%d%% %d", 10, 200);

and got:

    chatter: 10% 200

So that looks correct.
HMM
E