helping 8chanF7

firmware/config/stm32f4ems/efifeatures.h

@@ -296,7 +296,9 @@
 #define EFI_CONSOLE_USB_DEVICE SDU1
 
 #if defined(EFI_HAS_EXT_SDRAM)
+    #ifndef ENABLE_PERF_TRACE
     #define ENABLE_PERF_TRACE TRUE
+    #endif // ENABLE_PERF_TRACE
     #define LUA_USER_HEAP (1 * 1024 * 1024)
 #elif defined(EFI_IS_F42x)
     // F42x has more memory, so we can:
@@ -307,8 +309,10 @@
 
 	#define LUA_USER_HEAP 25000
 #else
+    #ifndef ENABLE_PERF_TRACE
 	// small memory F40x can't fit perf trace
 	#define ENABLE_PERF_TRACE FALSE
+    #endif // ENABLE_PERF_TRACE
 
 	#ifndef LUA_USER_HEAP
 	#define LUA_USER_HEAP 25000