kernel-paramaters: document pmtmr= command line option