fixed kernel flavour lookup