Removed spurious kernel.log file.