Fix incorrect file names in bootimg instructions