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