[fedora-arm] Kernel failing to boot at guruplug