debian packaging for libsoc