drivers/oprofile: coding style fixes in buffer_sync.c