Placeholder for the Grub2Win EFI bootcode level