[PATCH 4.18 05/22] x86/mm/init: Add helper for freeing kernel image pages