and change Ethernet drivers to always pass all received frames to ether_input() (with a few exceptions, which are documented in the code).
