make_kernel: be quiet!
We have 'cave print-unmanaged-files'.