[coreboot] [PATCH] buildrom: Update SeaBIOS config patch