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.

Nit: Marvel makes comics. Marvell Technologies (two l's) makes chips with ARM CPUs in them, mostly for datacenter gear.

a bit of a stretch

I'm pretty sure the grandparent's question was "What IP is on the ARM SOC being fabricated?" and not "Tell me about the history of Acorn RISC Machines".

And the answer isn't clear. The fact that it's been given an Intel code name ("Deer Creek Falls") implies that it's an internal design, so presumably it's an easily-licensed/synthesized core like a Cortex X1 or whatnot. Certainly Intel isn't expected to be designing custom ARM hardware.