Bug#509156: Bug#506419: Driver from Supermicro fixes issue
On Mittwoch, 10. Dezember 2008, martin f krafft wrote:
> Okay, that makes sense. How do I get the patched source? The
> accepted standard methods (see policy 4.9 and 4.14) don't reveal
> anything and don't work:
according to http://wiki.debian.org/HowToRebuildAnOfficialDebianKernelPackage
you need to run "make -f debian/rules source-all"