[SeaBIOS] [PATCH 2/3] target-i386: reserve RCRB mmio space in ACPI DSDT table

[Gerd Hoffmann]

  Hi,

> +Scope(\_SB) {
> +    OperationRegion (RCRB, SystemMemory, 0xfed1c000, 0x4000)

Where does this address come from?
Is this a standard location suggested by intel specs?
Or is the firmware free to choose it?

cheers,
  Gerd