realtime_demo_bios: bug fix