Use a wrapper function for ieee802_1x_receive() to avoid ieee802_1x.h