[coreboot] [PATCH] Cleanup/remove update_ssdt