Yep, this is from my BIOS dump:
0xA7544 One Of: DVMT Pre-Allocated, VarStoreInfo (VarOffset/VarName): 0xDF, VarStore: 0x2, QuestionId: 0x1DD, Size: 1, Min: 0x0, Max 0xFE, Step: 0x0 {05 91 DC 11 EF 11 DD 01 02 00 DF 00 10 10 00 FE 00}
0xA7555 Default: DefaultId: 0x0...