Replace few more cases where %D format string is used.

Also remove a reference to %D in kvcprintf's comment.
kernel/amr: Extend the visibility of AMR_DEBUG.

Half the code was missing the setting of AMR_DEBUG in the config file
because its visibility was reduced to amr.c only.

Reported-by: tuxillo