Re: [LinuxBIOS] ECS top hat flash - dual-bios-circuit