RBS to pocket £9m in Halliwells sell-off