Get Assembly output of kernel

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