@Michal, it seems strange that these files show up in the file listing of kernel-default but not in the file system. You see the missing files only with "rpm -Vv kernel-default"; "rpm -V" alone shows no error.