I thought Dell submitted most of those patches to fix bugs in the kernel, not its own drivers.