@Itix
Also consider they probably have a clause on the contract against defective boards, it is probably the Varisys guys that want a "proof" that what they will be building in numbers is good (with Linux at least), and therefore will have to be paid by A-Eon regardless if Aos4 runs perfectly or not.
Port Linux 9 months after completion of design? Hell, I can not believe they would have wasted so much time only to prove the design is working.
More likely it is used for XMOS chip. I mean, to use their Linux based development tools.