[PATCH] Erase memory pages as soon as they are freed