Symbol: add_biosdisk_bootinfo