Changes
/* Notes */
*'''IPC3''': kernel module wdat_wdt does not produce debug messages, dmesg output will be empty
<br>
*'''fitlet2''': Mak sure OS selection is set to '''[Linux]''':
# Press '''[ESC]''' on startup.
# At the bottom of the main screen check '''OS selection''' is set to '''[Linux]'''