},
.driver_data = (void *)&lcd800x1280_rightside_up,
}, { /*
- * GPD Pocket, note that the the DMI data is less generic then
+ * GPD Pocket, note that the DMI data is less generic then
* it seems, devices with a board-vendor of "AMI Corporation"
* are quite rare, as are devices which have both board- *and*
* product-id set to "Default String"