[fedora-arm] boot menu problem