Changes
/* 14-May-2018 */
* Linux Watchdog (iTCO_wdt module) issue is fixed
* BIOS menus are revised
* BIOS menu restore to defaults option menus configuration is fixedno longer reliant on RTC backup battery
* TXE firmware is updated to 3.1.50.2238