FreeBSDのブート環境をEFIにすべく調べてたら、ESP (EFI System Partition)について留意すべき事が幾つかあるようなので殴り書き。公式仕様書といった一次情報は未見、かつEFI黎明期のバッドノウハウが混じってる可能性もあるので、本記事の正確性については保証できますん（ ﾟωﾟ )
ESPのファイルシステム：
FAT32が正式
一部のLinuxディストリビューションはFAT16で作ることがある
FreeBSDのnewfs_msdos -F 32で作ったFAT32は、一部のEFI実装で正しく読めない事がある。この場合はFAT12, FAT16で作ればよい。
Linux/FreeBSDではESPがFAT12, FAT16でも問題ないが、WindowsはFAT32しかだめ。
大抵のUEFIはどのFATでも大丈夫だが、一部の実装ではFAT32しかだめ。
ESPのサイズ：
正式な言及はなし
ただし、FAT32の最小サイズは65527クラスタで、1クラスタの最小単位は1セクタという制約から、以下の最小ESPサイズ式が成り立つ。（なぜかFreeBSDのnewfs_msdosコマンドはなぜか最低65525クラスタ必要と言ってくるけど。）
(最小ESPサイズ)＝(セクタサイズ)×65527
すなわちセクタサイズごとの最小ESPサイズは以下となる。
しかし一部のEFI実装は512MiB未満のESPを正しく扱えない事がある。
こっちの資料には、FAT32は最小クラスタサイズ4KiBで最小ボリュームサイズが512MiBとあるので、最小クラスタが4KiB想定の実装があるのかも？
一方で、Windows/MacはESPを200MiBで作るので最早訳ワカメ状態（512Eドライブまでなら規格上も問題ないんだろうけど…）
Linuxのmkdosfsコマンドは520MiBまでのパーティションをFAT16で作るのがデフォ挙動なので要注意。
FAT12, FAT16の場合、最小サイズ制限はない
ファーム、OS、ストレージのそれぞれの都合が絡み合って何とも複雑な状況っぽい。
FAT32の最小容量制約を考慮すると、FreeBSD 11デフォの800KiBのESPなんぞ以ての外ですな。今後、ネイティブ4Kストレージが増えてく事を考えると、Windowsを使ってFAT32な512MiBのESPを作るのが最良か。まぁ、天下のWindows様が200MiBで確保してるんだから、それで問題ないとは思いますけどね。