アットマークテクノ川岡と申します。 ISE/EDK 8.1iで、Synthesizeエラーが発生したり、正常にブートしない現象が発生します。 対応方法を、SUZAKUポータルサイトのFAQに記載しました。 http://suzaku.atmark-techno.com/dev/FAQ/ise81-edk811 ご参照いただきたくお願い申し上げます。