Samsung NC10, remboursement de la license SaleOS