Fix for OMAPL138 ARM example build error