} else {
DBG_SECURE(LOG_INFO, "HW ID of this device [%s]\n", kernel_info.machine);
if (strncmp(kernel_info.machine, "arm", 3) != 0) {
} else {
DBG_SECURE(LOG_INFO, "HW ID of this device [%s]\n", kernel_info.machine);
if (strncmp(kernel_info.machine, "arm", 3) != 0) {