They likely didn’t themselves. FAE experts at Intel would have done it, very likely at no charge as a part of the deal. The reason you’d do this is because you need it for the interface.
Part of it is Push 3 will dual boot, and you need a communication layer between processors that is likely best done at the bios layer. Diagnostics is also another reason.
Also as i posted above Ableton is thinking very long term. The bios piece helps them keep the interface long term.