Re: [coreboot] Exception on Skylake after enabling ACPI timer emulation