Re: [fedora-arm] How to get F17/F18 3.3+ kernels working