modifs ai-b, ai-b-bios et ai-b-uefi : simplifications