[Bug 509680] problem with kernel-default-devel rpm