Update kernel config
Update kernel config
Update portage config
Remove original ACPI tables
Add coreboot tables
Add TPM support
Update config