x86: support CR9-CR15 registers