fix kernel image matching