Make kore_mem_free() behave like free() and don't do anything if NULL is passed in.