[PATCH] header.pl: Hide PPPoE menu item if RED is in IP mode