realtime_demo_bios/omapl137: makefile update