hw/misc: add a TMP42{1, 2, 3} device model