The leg-kernel release has been made and tagged as leg-20150804.0
This is based on mainline kernel v4.2-rc5
Repository : http://git.linaro.org/leg/acpi/leg-kernel.git Direct Link: http://git.linaro.org/leg/acpi/leg-kernel.git/commit/8ceb073a662c26983126e5c...
Notes :-
1) SPCR updated with patch from Leif Lindholm to match devices using _CRS not _ADR which not all devices have (it is not mandated in ACPI, SPCR or SBSA/SBBR specs).