#  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