clarify that 32-bit EFI doesn't work
Merge pull request #10 from sdaitzman/master

clarify that 32-bit EFI doesn't work