I think it would be helpful sometimes to have something like ps.show_assembly which directly prints the Assembly Code of a kernel.
ps.show_assembly