Sorry that after all your efforts you ended up going to the "easy" (though questionable) solution. Since there is no reason to expect Broadcom to fully GPL the driver, I guess the only solution (besides using the in-kernel driver, which to me -- bcm4313 -- is still a no-go) would be patching modpost.c (which -- theorically -- solves the compilation issue, but perhaps not the run-time (modprobe) issue).
I guess this is all due to some -- political -- decision of the kernel people (Linus), so I'm not sure if/how we can deal with this, other than asking Linus.
@Brian,
Sorry that after all your efforts you ended up going to the "easy" (though questionable) solution. Since there is no reason to expect Broadcom to fully GPL the driver, I guess the only solution (besides using the in-kernel driver, which to me -- bcm4313 -- is still a no-go) would be patching modpost.c (which -- theorically -- solves the compilation issue, but perhaps not the run-time (modprobe) issue).
I guess this is all due to some -- political -- decision of the kernel people (Linus), so I'm not sure if/how we can deal with this, other than asking Linus.