[rock64] stuck at "Starting kernel..."

[arkap]

Hi,

My Rock64 won't boot from SD. The SD card was set up according to the instructions in the Wiki and has been working for months. After a recent reboot I only see this over the serial connection:

$this->bbcode_second_pass_code('', 'NOTICE: BL31: v1.3(debug):9d3f591
NOTICE: BL31: Built : 14:39:02, Jan 17 2018
NOTICE: BL31:Rockchip release version: v1.3
INFO: ARM GICv2 driver initialized
INFO: Using opteed sec cpu_context!
INFO: boot cpu mask: 1
INFO: plat_rockchip_pmu_init: pd status 0xe
INFO: BL31: Initializing runtime services
WARNING: No OPTEE provided by BL2 boot loader, Booting device without OPTEE initialization. SMC`s destined for OPTEE will return SMC_UNK
ERROR: Error initializing runtime service opteed_fast
INFO: BL31: Preparing for EL3 exit to normal world
INFO: Entry point address = 0x200000
INFO: SPSR = 0x3c9


U-Boot 2017.09-rockchip-ayufan-1045-g9922d32c04 (Mar 21 2019 - 17:27:19 +0000)

Model: Pine64 Rock64
DRAM: 4 GiB
MMC: rksdmmc@ff520000: 0, rksdmmc@ff500000: 1
SF: Detected gd25q128 with page size 256 Bytes, erase size 4 KiB, total 16 MiB
*** Warning - bad CRC, using default environment

In: serial@ff130000
Out: serial@ff130000
Err: serial@ff130000
Model: Pine64 Rock64
misc_init_r
cpuid=55524b50303930303600000000111e12
serial=581d26db16e2a1b
Net: eth0: ethernet@ff540000
Hit any key to stop autoboot: 0
Card did not respond to voltage select!
mmc_init: -95, time 10
switch to partitions #0, OK
mmc1 is current device
Scanning mmc 1:1...
Found U-Boot script /boot/boot.scr
890 bytes read in 23 ms (37.1 KiB/s)
## Executing script at 00500000
39358976 bytes read in 9692 ms (3.9 MiB/s)
49534 bytes read in 51 ms (948.2 KiB/s)
7229992 bytes read in 346 ms (19.9 MiB/s)
## Flattened Device Tree blob at 01f00000
Booting using the fdt blob at 0x1f00000
Loading Ramdisk to fc81b000, end fcf00228 ... OK
reserving fdt memory region: addr=1f00000 size=d000
Loading Device Tree to 00000000fc80b000, end 00000000fc81afff ... OK

Starting kernel ...
')

It just gets stuck there. I've tried setting up a new system with a different SD card (again according to the Wiki) but I encounter the same problem. I am not familiar with how the low-level stuff here interacts but it looks to me like a fault in the u-boot script which is unable to locate the kernel. Any help is greatly appreciated!