Patch merged into coreboot/master: b69c7c9 ACPI: Add a method to notify OS to re-read _PPC

the following patch was just integrated into master:
commit b69c7c9ecf211352131ab37172cf7e9ebddc9af3
Author: Duncan Laurie 
Date:   Mon Jul 16 12:14:49 2012 -0700

ACPI: Add a method to notify OS to re-read _PPC

Split this behavior out from PNOT() so the OS can
    update _PPC limit without re-reading C-state tables.

Change-Id: I81b9111a4866f6b9916f74ac57a3caefaa77c565
    Signed-off-by: Duncan Laurie

Build-Tested: build bot (Jenkins) at Wed Jul 25 03:55:00 2012, giving +1
Reviewed-By: Ronald G. Minnich  at Thu Jul 26 20:32:10 2012, giving +2
See http://review.coreboot.org/1342 for details.

-gerrit