Dried porcini flakes