Patch merged into coreboot/master: arch/x86: do not define type of SPIN_LOCK_UNLOCKED

the following patch was just integrated into master:
commit 06a629e4b1b7f517866adb984c169459a9b2ecdf
Author: Patrick Georgi 
Date:   Tue Jan 24 12:30:04 2017 +0100

arch/x86: do not define type of SPIN_LOCK_UNLOCKED

This fixes building coreboot with -std=gnu11 on gcc 4.9.x
    Also needs fix ups for asus/kcma-d8 and asus/kgpe-d16 due to the missing
    type.

Change-Id: I920d492a1422433d7d4b4659b27f5a22914bc438
    Signed-off-by: Patrick Georgi 
    Reviewed-on: https://review.coreboot.org/18220
    Reviewed-by: Aaron Durbin 
    Tested-by: build bot (Jenkins)

See https://review.coreboot.org/18220 for details.

-gerrit