se hai messo grub di fedora nella sua partizione di root dovrebbe bastare

other=/dev/hde12
label=fedora