I fail to see how the relevant UEFI service wouldn't be affected by the same inaccuracy in the hardware description, if it exists.