Patch merged into coreboot/master: 0fd0a05 Tyan S8226: Fix incompatible pointer warning

the following patch was just integrated into master:
commit 0fd0a054d46673e7375eb4808a3b66952fbd9ad3
Author: Martin Roth 
Date:   Mon Feb 18 21:23:16 2013 -0700

Tyan S8226: Fix incompatible pointer warning

Fix warning:
      mptable.c:52, GNU Compiler 4 (gcc), Priority: Normal
      passing argument 3 of 'mptable_write_buses' from incompatible pointer type [enabled by default]

mptable_write_buses is expecting a pointer to an int, so I changed the
    U8 isa_bus to an int to match.  A U8 doesn't make sense if the value could
    be greater than 255 - certainly unlikely, but possible since the value
    of isa_bus gets set to the maximum PCI bus number + 1.

Change-Id: I7ea416f48285922d6cf341382109993fd3f6405c
    Signed-off-by: Martin Roth 
    Reviewed-on: http://review.coreboot.org/2450
    Tested-by: build bot (Jenkins)
    Reviewed-by: Siyuan Wang 
    Reviewed-by: Paul Menzel 
    Reviewed-by: Dave Frodin 
    Reviewed-by: Marc Jones

Build-Tested: build bot (Jenkins) at Tue Feb 19 05:38:48 2013, giving +1
See http://review.coreboot.org/2450 for details.

-gerrit