arm: Do not include virt.h, it isn't generated anymore.