setting kernel args fails for now
kernel 1 now runs