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?