Meanwhile it is already shipping on Android Linux regardless of upstream, while Microsoft ships it on Windows, is making use of TockOS for firmware like on Pluton security CPU.
If Linux upstream doesn't care, it is their loss.