#define XLAT_VERBOSE 1
#include "kernel_version.c"