Readded the dev_area array to the those to be freed at the end of a kernel call