Any progress on deleting the device memory in Linux yet? Is the only solution to boot into windows right now?