[seL4] Re: suggestion; update faq reference to ODROID-C2