HP BIOS archive tied to a board code-named CERSEI at revision B; no model or board number appears in the name.