page-allocator: remove dead function free_cold_page()