[OS-BUILD PATCH 0/0] spec: Add vmlinux.h to kernel-devel package