It seems this laptop is not available any longer. Are there any ARM alternatives you are aware of?