os/kernel/binary_manager: Fix build failure with debug enable.
os/kernel/binary_manager: Fix build failure with debug enable.

Signed-off-by: Sangamanatha <9d97980058cf9a7610be6f39dbd8c959266c9b4c@samsung.com>

junmin-kim/TizenRT,sunghan-chang/TizenRT,Samsung/TizenRT,jsdosa/TizenRT,junmin-kim/TizenRT,junmin-kim/TizenRT,jsdosa/TizenRT,an4967/TizenRT,pillip8282/TizenRT,junmin-kim/TizenRT,an4967/TizenRT,sunghan-chang/TizenRT,an4967/TizenRT,jeongchanKim/TizenRT,pillip8282/TizenRT,pillip8282/TizenRT,pillip8282/TizenRT,jeongchanKim/TizenRT,sunghan-chang/TizenRT,jeongarmy/TizenRT,Samsung/TizenRT,Samsung/TizenRT,sunghan-chang/TizenRT,junmin-kim/TizenRT,jsdosa/TizenRT,Samsung/TizenRT,sunghan-chang/TizenRT,Samsung/TizenRT,an4967/TizenRT,Samsung/TizenRT,an4967/TizenRT,jsdosa/TizenRT,jeongchanKim/TizenRT,jeongarmy/TizenRT,jeongarmy/TizenRT,jsdosa/TizenRT,an4967/TizenRT,jsdosa/TizenRT,pillip8282/TizenRT,an4967/TizenRT,pillip8282/TizenRT,jeongarmy/TizenRT,sunghan-chang/TizenRT,sunghan-chang/TizenRT,junmin-kim/TizenRT,Samsung/TizenRT,jeongchanKim/TizenRT,jeongarmy/TizenRT,jeongchanKim/TizenRT,jeongarmy/TizenRT,jsdosa/TizenRT,junmin-kim/TizenRT,pillip8282/TizenRT,jeongarmy/TizenRT,jeongchanKim/TizenRT,jeongchanKim/TizenRT