[coreboot-gerrit] Patch merged into coreboot/master: b1f34ab i82801ix: Make RP04 optionally hotpluggable.

the following patch was just integrated into master:
commit b1f34ab8d53e74c178492d9b001d1f5ef696e884
Author: Vladimir Serbinenko 
Date:   Tue Aug 12 21:40:32 2014 +0200

i82801ix: Make RP04 optionally hotpluggable.

Change-Id: I34a1ae4bff22db6ee55fa511de39bdfd5dd92c7e
    Signed-off-by: Vladimir Serbinenko 
    Reviewed-on: http://review.coreboot.org/6627
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

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

-gerrit