[coreboot] question about tp_smapi modules and phc-intel