Fixed bug in Kaluga when starting the same driver multiple times
Fixed bug in Kaluga when starting the same driver multiple times

Increase of the argc value of module info was stored. This introduced a
NULL hole in the argv array and spawn did not get all the arguments.

utsav2601/cmpe295A,kishoredbn/barrelfish,linusyang/barrelfish,mslovy/barrelfish,kishoredbn/barrelfish,8l/barrelfish,kishoredbn/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish,8l/barrelfish,BarrelfishOS/barrelfish,utsav2601/cmpe295A,mslovy/barrelfish,8l/barrelfish,8l/barrelfish,8l/barrelfish,linusyang/barrelfish,mslovy/barrelfish,mslovy/barrelfish,BarrelfishOS/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish,BarrelfishOS/barrelfish,kishoredbn/barrelfish,BarrelfishOS/barrelfish,linusyang/barrelfish,mslovy/barrelfish,BarrelfishOS/barrelfish,mslovy/barrelfish,utsav2601/cmpe295A,BarrelfishOS/barrelfish,linusyang/barrelfish,linusyang/barrelfish,8l/barrelfish,kishoredbn/barrelfish,kishoredbn/barrelfish