Can the latest L4Linux support for the ARM big.LITTLE architecture ?