proc_flush_task(9) on Linux

The text 6d28ebe10d4f, as Debian 6.0 (Squeeze) shipped it.

Remove dcache entries for task from the /proc dcache.

proc_flush_task(9) on Linux now