[coreboot] [patch] inteltool support for FreeBSD