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