This is mutually exclusive with Windows support. Documentation for how to use it has been written in libc/runtime/efimain.c
