Because this bug relates to the system's BIOS it is a hardware dependent bug and each system reporting a "BIOS bug" should be a separate bug report.
Because this bug relates to the system's BIOS it is a hardware dependent bug and each system reporting a "BIOS bug" should be a separate bug report.