Removed useless "setKernelId" call (was... hard-coded ! and did not work
on recent ec2 accounts)