[coreboot] v2[PATCH] Initial support for the Thomson IP1000