drivers/intel/gma/acpi: Use snprintf() to construct device name