verdi_lte: add verdi_lte drivers
puccinilte: more kernel adjustments