[coreboot] [PATCH] Support for TI xx12 cardbus bridge