Fix: We do not do kernel patches here, generalize the statements

This was a copy-and-paste failure.