You think the Arduino team should provide a patch for a third party's bootloader? Isn't that up to the third party?