Sem um conhecimento mais específico da sua placa incorporada, duas coisas vêm à mente.
-
Tente o parâmetro de inicialização do kernel
mem=
. (Acho que às vezes a memória pode estar disponível a partir de endereços não-contínuos, então você pode ter que usar algo assim, mas os endereços terão que ser verificados por você mobo.mem = 512M @ 0 mem = 256M @ 0x80000000 mem = 256M = 0xc0000000
-
Você tem placa gráfica incorporada? Isso pode tirar um pedaço do seu carneiro disponível. Se você puder acessar o BIOS ou equivalente, verifique isso.
@see Parâmetros do kernel para obter mais informações sobre mem=