J1 is on the contacts. I attempted to replace the jumper. After replacing the jumper, I reset the board. Still, dmesg is oddly silent. As is GPG. I used the memory inspector from STCUBE (the GNUK was not personalized yet) and bits of gnuk.elf in range 0x0 - 0x3F0 and the bits of controller in same range are the same.