Comment 62 for bug 187671

Nope, that won't work either... I would be surprised if one had to pad memory addresses with zeros for them to work, but I've seen stranger things :-)

The addresses in the DSDT are the same as before (of course), so it's either that the 64-bit kernel shifts the mmio regions elsewhere (somehow, for some reason), or that its support for the 'reserve=' command-line parameter is broken... Anyone knows? If anyone gets the unmodified 64-bit liveCD running, drop me a line!