Hello Kevin,
You suggested, on the coreboot IRC channel, that I enable smbios in seabios to solve the missing mptable and RSDP problem. The reason those are turned off is because the comments for CONFIG_PIRTABLE, CONFIG_MPTABLE, COMFIG_SMBIOS, and CONFIG_ACPI all state, "for emulators". Since this is a bare metal install, wouldn't it be correct to have those options disabled since we need the real data rather than simulated data?
Thanks, Joe