How can I install elementary OS on a 64-bit system that only supports 32-bit UEFI?

Question

I got elementary OS and found that although my device (Lenovo Flex 10) though has a 64-bit processor it does not support 64-bit UEFI and has no legacy boot options.

I found how to solve a similar problem, but with a different OS. Can someone explain how to follow these instructions for elementary OS?

http://www.rkblog.rk.edu.pl/w/p/how-cool-lenovo-flex-10-netbook-and-how-install-linux-32-bit-uefi-system/