Expose the grub_platform variable to FreeBSD kernel environment,
which will let us determine if we booted EFI or BIOS