More protected-mode improvements