Happy day for Linus :D
Since he owns the rights to the name "Linux", he can sue the hell out of the Spanish government for trademark dilution.
"Tarnishment occurs when the mark is cast in an unflattering light, typically through its association with inferior or unseemly products or services." http://cyber.law.harvard.edu/metaschool/fisher/domain/tm.htm#7
And if I were him, I would not let this opportunity slip to do that, just for fun, to make a point and earn a little extra money.