VirtualBox 32 bit registra em host de 64 bits

Question

Estou usando o Kali Linux (64 bits) no VirtualBox para fins de programação. Se Depurando com o gdb, existem registros de 64 bits. É possível usar registros de 32 bits no modo de 64 bits? Porque eu quero trabalhar com registros de 32 bits.