Hm, quickfix to prevent the following crash, no idea yet what happens:
[coreboot.git] / util / inteltool /
drwxr-xr-x   ..
-rw-r--r-- 2179 Makefile
-rw-r--r-- 9793 cpu.c
-rw-r--r-- 4796 gpio.c
-rw-r--r-- 1922 inteltool.8
-rw-r--r-- 8751 inteltool.c
-rw-r--r-- 2899 inteltool.h
-rw-r--r-- 2069 memory.c
-rw-r--r-- 5609 pcie.c
-rw-r--r-- 8804 powermgt.c
-rw-r--r-- 1945 rootcmplx.c