kernel/relay.c: use kvfree() in relay_free_page_array()