RUNTIME_LOADER_DEBUG_AREA_NAME
if (strcmp(areaInfo.name, RUNTIME_LOADER_DEBUG_AREA_NAME) == 0) {
area_id areaID = _kern_create_area(RUNTIME_LOADER_DEBUG_AREA_NAME,