Preliminary changes for supporting device assignment kernels