Devices and kernels need same branch