kernel/trace/ring_buffer.c: use DIV_ROUND_UP