Re: [U-Boot] [PATCH] Initialise correct GPMC WAITx irq for AM33xx