On 2015-07-07, Rodolfo Medina <rodolfo.medina@gmail.com> wrote: >> >> Thanks, I will. The file should be modesetting.conf. But how do I know what >> the appropriate parameter for `0xaddr' will be? >> >> Rodolfo > > It seems it is `0x6000': with it, the message didn't appear any more. What were the consequences of the message appearing (besides the message appearing)?