Replace uint32_t by lldb::RegisterKing in register context API.