If they didn’t have one already they would have presumably acquired one when they bought Altera - they had SoC FPGAs that have ARM cores hooked up to an FPGA fabric.

They have since spun off Altera but I imagine they’d still have a license.

I'm not sure Altera would have had an architectural license. You don't need that to hook a hard core up to your fpga fabric.