[coreboot] KGPE-D16 with over 128GB RAM - works reliably yet?