I would like to report that BRAM number for zedboard (zed platform) is not updated even in SDSoC 2016.1. The fix is mentioned in this post.
This problem applies to any platform. While the BRAM number is correct, the check is not. It will be addressed in 2016.2.
View solution in original post