Irda: Added IrDA HAL Library

This HAL is supposed to be generic in the long term, and at the
very least, works on other Samsung devices such as n80xx.

Change-Id: I6521f4b4fd4822381d941a83581d4bce942e41a8
power: Add POWER_HINT_CPU_BOOST

 * New hint to support CPU boosting with a duration.

Change-Id: I79b5a33814f2dbeaa033c950264d430876505175

Conflicts:

	include/hardware/power.h