cleaning up kernel buffer cache code