A resposta é de 4 GB, pois eles têm um espaço de endereçamento compartilhado - os processadores podem ver os mesmos 4 GB de RAM. É um pouco mais complicado do que isso com Xeons e outros com MMUs que suportam espaços de endereços físicos mais amplos. Esta postagem stackoverflow descreve esse tipo de MMU, que aparece nos chips 32 bit xeon.