Platform target

The GRUB platform to install, such as x86_64-efi, arm64-efi, or i386-pc. Webmin detects this from the current boot mode and CPU architecture when possible.