(In reply to Felix Niederwanger from comment #12) > I used then an older snapshot with the 6.11.0-1 kernel and everything was > fine again (32 GiB memory). From there rebooting into the 6.12.0-rc3 kernel > only shows again 1.3 GiB of memory. This suggests 6.11.0 itself already was corrupting the EFI memory?