[coreboot] Question about smm handler bin