It looks like these patches didn't get built by jenkins. http://review.coreboot.org/#change,487 http://review.coreboot.org/#change,488 http://review.coreboot.org/#change,409 Marc -- http://se-eng.com