[PATCH] mmconfig: add kernel parameter documentation