[fedora-arm] Issue running F17-GA on Guruplug (Kirkwood) -- kernel doesn't boot?