Add better printf for kernel dump