This program wrapper kernel image for running under zebu.