Restore NMI build platforms that got deleted in last commit #3543