if [ "$grub_platform" = "pc" ]; then
  menuentry $"Hardware Info" --id 'hdt' {
    linux16 /boot/memdisk
    initrd16 /boot/hdt.img
  }
fi