I have submited a couple additional patches[1], one for
devel/linux_devtools, and one for emulators/linux_base-debian. Please
review these as well. I believe that is all the ports that behave
unexpectedly due to this mistake.
Regards,
Frank
[1] http://www.franksworld.org/~laszlof/linux_patches