Symbol: dealloc_biosdisk