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