ST-Ericsson Ux500 kernel reference from igloo community