Comment # 3 on bug 1173704 from Stefan Hundhammer

I am by no means a RasPi expert, but your kernel messages say:

[   10.683526] 3f201000.serial: 
  ttyAMA1 at MMIO 0x3f201000 
  (irq = 66, base_baud = 0) is a PL011 rev2 


So maybe that's the address to use in those boot parameters; you wrote that you
used                                                           

  console=uart8250,mmio32,0x3f215040

Did you try

  console=uart8250,mmio32,0x3f201000

instead?

Slightly different models might have slightly different I/O addresses. Please
try.