still ends up in Resetting-controller-loop : https://dmesgd.nycbug.org/index.cgi?do=view&id=5536 dmesg is the 8GB, but 4 GB is the same, even with the older v 1.13 of UEFI ..