EFIパーティションが何故か一杯になる。

EFIがいっぱいで書き込めないと言われます。
ターミナルで、調べても・・・何もありません。
フォーマットすると良いようです。

sudo newfs_msdos -F 32 -v EFI /dev/diskXsY