[fedora-arm] What exactly went wrong with kernel-3.3.0-0.rc4.git3.1.fc17.armv5tel ?