[fedora-arm] Re: F23 on Wandboard Quad -- kernel doesn't start?