oprofile: change data format for #K/kpoprofile
[akaros.git] / arch
1 kern/arch/