I'm not so sure. These BMCs are dumb SoCs like any other (just with specialized I/O), their firmware comes from an external SPI flash. I doubt there is anything AMI specific at all in these chips. Looks like it's basically a license sticker some worker is putting on these boards after they're all assembled and tested. I can see how these stickers are there, maybe for contractual/legal reasons, without being a critical part of the BMC board BOM (1x roll of "AMI loicense stickers").