changed platform library option in bl1 Makefile