Author's claim about ag7240-eth.ko seems incorrect. Running `strings` on it shows "license=Dual BSD/GPL". It's unlikely that the GPL license was chosen.

Current firmware downloads contain the uboot source code.

Based on the email quotes, Ubiquiti did violate the GPL. It hasn't been proven that they are actively doing so.