Only GIC (interrupt controller) bugs needed to be fixed. The GIC is standard since the Cortex A9. On the A9, you have to use an HAL extension (declared in ACPI) for the timer(a sample is available on MS' Git repo). On the A7/A15 and later, Windows uses the GTDT ACPI table only, so nothing is needed :)