Correct me if I'm wrong: doesn't the CET 2.0 proposal changes to paging entries (SSS bit 60) conflict with PKRU protection keys index bits (PK 62:59)? It seems like they might want to update the proposal again to use bit 58 for SSS instead of 60.