tegra_gmi_char driver imported from Nvidia