[coreboot] Need help to find chip model (x60)