[Arm-dev] armv7 SELinux problems and also the new kernel

Tomorrow I will actually have some testing time.  I would like to get 
something working on my Cubietruck.

Has anyone any idea about what to do with the SELinux errors I reported 
here back in December?

And guidance on installing and testing the new kernel. It does not look 
like they are in a repo and that I have to download the proper rpms and 
upgrade them?  And which do I upgrade?

thank you

Bob