[coreboot] SMI handler on motherboard F2A85M-LE