Re: [genode] base-hw: SMP support on I.MX6