Re: [PATCH v10 2/3] x86: correct usage of CFLAGS_NON_EFI