[IA64] end of kernel 'data' is at _end, not _edata