On a 1040, the AMT vs regular tax difference for FTC has to do with the limitations calculated on the 1116. The gross foreign taxes paid is identical for both, so no special input is required.

I wish there were an input field for foreign-source qualified dividends on the K-1 entry screen. I end up doing a side calculation to be sure I get the right presentation and output.