Yes, porcini and king boletes are the same mushroom. Its taxonomic name is Boletus edulis and they are also commonly referred to as penny buns.