realtime_demo_bios: update the makefile