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