kernel-WHITELIST-RPMS := kernel,kernel-headers,kernel-devel,kernel-modules-extra,kernel-tools,kernel-tools-libs,kernel-tools-libs-devel
kernel-SPECVARS += kernelconfig=planetlab
KERNELS += kernel
kernel-WHITELIST-RPMS := kernel,kernel-headers,kernel-devel,kernel-modules-extra,kernel-tools,kernel-tools-libs,kernel-tools-libs-devel
kernel-SPECVARS += kernelconfig=planetlab
KERNELS += kernel