I personally just password protect grub (grub2-setpassword), but you can file a bug on Bugzilla to get it fixed. This is just a forum.
Ask Fedora is community maintained and Red Hat or Fedora Project is not responsible for content. Content on this site is licensed under a CC-BY-SA 3.0 license.