Nyaa, I kinda took care of that by not using the Google library (that has closed source parts in it). I figured out I can simply manually send the intent and get the device token. So no, it formally doesn't break the f-droid rules because 100% of the code that goes into the resulting app is open source.