OPL4
Clemens Ladisch <clemens@ladisch.de>
use vmalloc instead of kmalloc for temp buffer in proc read()/write()