Kernel RPM question: What if...