> I find it very strange that the kernel is being linked to start at > 0xc0010000. It's not your average machine that has this much physical Logical or physical ?