Samsung Galaxy Book S has abandoned ARM processor and switched to Intel