If I want to bloody recompile the LK on my phone to install a proper linux, that or other GPL tools shouldn't be blockers.