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.