VALE, a switched ethernet for virtual machines