remote kernel developing with arm soc board eval kit