Re: [fedora-arm] vexpress kernel config