[Bug 1200519] missing internal.h header for x86 in kernel-devel package