trace linux kernel with bochs