Not necessarily.
While some reports are indeed claiming that the Arcade will have a Falcon motherboard, the mere presence of an HDMI port doesn't guarantee it. The motherboard design used on the initial batch of US Elite machines doesn't have the 65nm chip, so it could be more of these to use up the remaining chips.