#define PLATFORM "UEFI" #define DATE "Fri Dec 22 01:23:45 PDT 2017" extern const char *compiler_flags;