<sys/param.h>: Adjust comment indent.
kernel: Fix build without DDB.