[OS-BUILD PATCHv3 1/3] spec: Add vmlinux.h to kernel-devel package