mb: Set coreboot as DSDT's manufacturer model ID
[coreboot.git] / src / mainboard / bap / 
tree1af37999d83dddea3fccf03eefd962ed59b31fe1
drwxr-xr-x   ..
-rw-r--r-- 839 Kconfig
-rw-r--r-- 30 Kconfig.name
drwxr-xr-x - ode_e20XX
drwxr-xr-x - ode_e21XX