| # The Avoton/Rangeley chip does not allow devices to write into the 0xe000 | |
| # segment. This means that USB/SATA devices will not work in SeaBIOS unless | |
| # we put the SeaBIOS buffer area down in the 0x9000 segment. | |
| # CONFIG_MALLOC_UPPERMEMORY is not set |