I remember this was mostly a BIOS setting how much memory to allocate for iGPU - and once set in the BIOS, that memory was not accessible to the underlying OS (besides GPU I/O).

Yes, but this was to appease Windows, probably older versions and/or 32 bit versions of it.