path out the proper kernel image