PmodACL: Removed unused include from system_config.h