I wonder if they can be asked to comply with GPL and release kernel source code. This would make SailfishOS port possible in case someone wanted to.