Patch merged into coreboot/master: x86: Make reading / writing of CRx registers 64bit proof

the following patch was just integrated into master:
commit bef400b96cbce8a4947f6b147b4030a9422c2b7f
Author: Stefan Reinauer 
Date:   Wed Jun 17 16:11:18 2015 -0700

x86: Make reading / writing of CRx registers 64bit proof

Change-Id: I782007fe9754ec3ae0b5dc31e7865f7e46cfbc74
    Signed-off-by: Stefan Reinauer 
    Signed-off-by: Scott Duplichan 
    Reviewed-on: http://review.coreboot.org/10576
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Marc Jones

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

-gerrit