#define CONFIG_EL1_MODULE 1