Ralf, I'm resending this patchset with almost no change. The only one made is in patch #1 in paging_init() when CONFIG_ISA is set. I know that you encountered some issues when using malta config. It seems that this platform uses HIGHMEM but no ISA config. So this new patchset shouldn't fix anything for you, but I need more info to debug it. Could you give a try to patch #1 _only_ and give me the console output ? That would be really nice. Thanks Franck