kernel: Replace struct device* by device_t