Re: [coreboot] [PATCH] chipset_enable: Fix open /dev/cpu