ACPI_MAX_OVERRIDE_LEN
int count = ACPI_MAX_OVERRIDE_LEN - 1;
static char acpi_os_name[ACPI_MAX_OVERRIDE_LEN];