Symbol: dealloc_biosdisk_part