Bios: remove redundent name