update post:trace linux kernel with bochs