BusyBox Developers and Supermicro Agree to End GPL Lawsuit