IP64 driver for ENC28J60 on CC2538DK (Ethernet)

I have been successfully using the driver by Thingsquare on my development board.  How about merging it to Contiki?