round_batc
s_text = round_batc((paddr_t)&kernelstart);
s_data = e_text = round_batc((paddr_t)&etext);
e_rodata = round_batc((paddr_t)&erodata);
e_data = round_batc((paddr_t)&end);
sz = round_batc(pa + sz) - trunc_batc(pa);