soc/amd/common/block/acpi/tables: use get_top_of_mem_[below,above]_4gb
[coreboot.git] / src / mainboard / samsung / Kconfig.name
blobc60fd96062a16c240dfb09e3adf5133849e13123
1 config VENDOR_SAMSUNG
2         bool "SAMSUNG"