Encrypted swap is a solved problem and has been for a long time