I2C device driver names

[Matt Spinler]

Hi,

As part of my work to generate a device tree from the machine readable 
workbook XML, I need to create I2C device entries, which have the 
compatible properties that need to be filled in.

The following parts are present in the system I'm trying to build, with 
firmware requirements to access them.  I took a stab at the names.  
Could someone doublecheck them and maybe comment on if a driver is 
missing, or maybe if some upcoming work is known that will include it?  
I didn't have much luck finding a lot of these in the 
Documentation/devicetree/bindings directories.

PMBus Power supplies:   ?

MAX31785 fan controller:  max,max31785

BMP280:  bosch,bmp280

TMP4523A temp sensor:  ti,tmp423

TMP275 temp sensor: ti,tmp275

pca9552 IO expander:  nxp,pca9552

UCD90160 power sequencer: ti,ucd90160

RX8900CE RTC:  epson,rx8900ce

24c64 EEPROM:  atmel,24c64

There are also a handful of regulators, but so far I haven't heard of 
any requirements to access them.

Thanks.