Updates to devices and kernels