Updated information on kernel image files.