Seria bom se você incluísse os detalhes da máquina. 0xc000_0000 é o endereço de carregamento padrão da maioria das distribuições Linux, mas parece que você está usando uma compilação personalizada do Linux porque está atribuindo 0xc000_0000 como espaço de endereçamento PCI. Você tem uma árvore de dispositivos válida instalada? Ou você tem o Open Firmware?