Listing applied hot patches

Marker files are generated in /var/run/hotpatch/applied, so listing applied hot patches can be done with ls, as follows:

ls -l /var/run/hotpatch/applied