Re: Base-hw kernel GIC issue with a Cortex--A7 processor.