realtime_demo_bios/omapl137: update makefile