Note: probably many recent models share a common BIOS, but we need either to find specific documents or to access dumps to verify.