Some loose ends for RELEASE kernels.