[coreboot] Patch merged into coreboot/master: b95dd5f Make Intel i5000 specific options only appear on i5000 systems

the following patch was just integrated into master:
commit b95dd5fb7ed289cea3bb2914077874560351c1fa
Author: Stefan Reinauer 
Date:   Tue May 1 16:35:03 2012 -0700

Make Intel i5000 specific options only appear on i5000 systems

Change-Id: If183611b0b62d9321a5a12311c4cb3b344b04b36
    Signed-off-by: Stefan Reinauer

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

-gerrit