dmidecode tells me (shortened):
# dmidecode 3.2
Getting SMBIOS data from sysfs.
SMBIOS 2.7 present.
7 structures occupying 358 bytes.
[...]
Handle 0x0000, DMI type 0, 24 bytes
BIOS Information
Vendor: coreboot
Version: 4.8.1-Pureboot-beta-9
Release Date 01/01/1970
[...]
BIOS Revision: 4.0
Firmware Revision: 0.0
Handle 0x0001, DMI type 1, 27 bytes
Manufacturer: Purism
Product Name: Librem 13 v4
Version: 4.0
Serial Number: [...]
UUID: Not Settable
[...]
Family: Librem 13
[...]
Handle 0x0005, DMI type 32, 11 bytes
System Boot Information
Status: No errors detected
[...]
Something unusual?
And here is the result of cbmem -f:
This seems to me ok. But I do not know what “selfboot jump” at the end means.
Anyway I’d like to thank all of You for the comments and suggestions so far - even my problem is not solved 
