Market share of Linux PCs to double by 2008: IDC