Почему невиндовых платформ внизу нет?

IMHO, еще не успели появиться :^) (на форуме, не в компиляторе, там-то они есть с самого начала)

Помогайте.

Ваши предложения, какие должны быть чек-боксы?

Вот что есть для i386 (точнее, то, что выдает компилятор по справке, а есть еще и недокументированное + Motorola 68K, powerpc и др. ):
 -T<x>  Target operating system:
     -Temx      OS/2 via EMX (including EMX/RSX extender)
     -Tgo32v2   Version 2 of DJ Delorie DOS extender
     -Tlinux    Linux
     -Tnetware  Novell Netware Module (clib)
     -Tos2      OS/2 / eComStation
     -Tsunos    SunOS/Solaris
     -Twatcom   Watcom compatible DOS extender
     -Twdosx    WDOSX DOS extender
     -Twin32    Windows 32 Bit
Если более серьезно, я бы для начала обозначил:

win32,
linux,
dos,
freeBSD,
os/2,
"другое"

А там посмотрим...

А для каких микроконтроллеров он есть?

Насчет микроконтроллеров - это вряд ли... На сегодняшний день FPC поддерживает i386 и клоны (32-разрядный режим), m68k, ведутся работы по поддержке powerPC,
>In progress(Compiler):
>Sparc architecture
>Arm architecture
>AMD x86-64 also partially done

А насчет микроконтроллеров... Гуляла распечаточка о системе, хакерским образом сделанной на базе некогда коммерческого и многобещавшего, а ныне, похоже, сдохшего Stony Brook Pascal Plus (16-разрядного). Может, и найдете, если это то, что надо.