EDK: do not dump unknown messages by default