[coreboot] [coreboot - Bug #439] Lenovo X201 Turbo Boost not working (stuck on 2,4GHz)