[coreboot] Patch merged into coreboot/master: 6c800a2 inteltool: fixed 64 bit build

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 6c800a257772c52df37e0babf8637ce0de394a42
Author: Mathias Krause <mathias.krause at secunet.com>
Date:   Mon Jun 27 14:35:00 2011 +0200

    inteltool: fixed 64 bit build
    
    The inline assembly for cpuid() was 32 bit specific. Additionally a
    format string referencing a size_t argument wasn't using the %z length
    modifier.
    
    Change-Id: Iac4a4d5ca81f9bf67bb7b8772013bf6c289e4301
    Signed-off-by: Mathias Krause <mathias.krause at secunet.com>

See http://review.coreboot.org/211 for details.

-gerrit