Is it illegal to have kernel virtual address == 0 ?