Merge commit '32cffdd' into ppi-irq-core-for-rmk