I assume it could also do the same for windows, but 'how to use grub to bypass a 32bit uefi to boot windows 10 圆4' seems to indicate otherwise, though the explanation given does not completely explain why (to me at least). Since 圆4 Linux can be booted via a custom 32-bit GRUB. I am attempting to install Windows 10 圆4 (64-bit) on a device that only has 32-bit UEFI (for the moment)