ADR 0508 §9: every DKMS module is built for the fallback kernel too, and its entry is in place first.