fix kernel image search on i386

also warn if no kernel could be found