[coreboot-gerrit] Patch merged into coreboot/master: f96a70e Fix build with USE_OPTION_TABLE

the following patch was just integrated into master:
commit f96a70ee0794c017c0ee7d100b1e32530283b6a1
Author: Kyösti Mälkki 
Date:   Sat Nov 30 21:06:18 2013 +0200

Fix build with USE_OPTION_TABLE

Parallelized build might try to build SMM before option_table.h is
    created. Remove related redundant explicit rules.

Change-Id: Ida8b5c408af05adcf3210ce7bfc8a1e5959194c7
    Signed-off-by: Kyösti Mälkki

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

-gerrit