3.16 Fedora ARM kernel status