[PATCH 1/2] board: fsl: ls2088ardb: Program GIC LPI configuration table