NanoPC-T4, rk3399, after the update `efi_free_pool: illegal free 0x00000000f0f09040`

[Denis Kotlyarov]

Updating via `apt update && apt upgrade` causes Armbian to fail to boot on the single-board computer. I'm attaching the UART logs in the file `failed_log.txt`.

 

Start-Date: 2025-11-13  04:45:12
Commandline: apt -y upgrade
Upgrade: armbian-bsp-cli-nanopct4-current:arm64 (25.11.0-trunk.146, 25.11.0-trunk.469), linux-dtb-current-rockchip64:arm64 (25.11.0-trunk.146, 25.11.0-trunk.469), linux-image-current-rockchip64:arm64 (25.11.0-trunk.146, 25.11.0-trunk.469), linux-u-boot-nanopct4-current:arm64 (25.11.0-trunk.146, 25.11.0-trunk.469), armbian-firmware:arm64 (25.11.0-trunk.146, 25.11.0-trunk.469)
End-Date: 2025-11-13  04:47:04

 

out:

Starting kernel ...

efi_free_pool: illegal free 0x00000000f0f09040
"Synchronous Abort" handler, esr 0x96000004
elr: 00000000002856e4 lr : 00000000002702f0000000f3f9b2f0
x0 : dfb6333a7ba2b4b7 x1 : 00000000f3fba060
x2000000 x5 : dfb6333a7ba2b4b7
x6 : 00000000f0d07000 x7 : 00000000000ef98 x11: 00000000f1f0b5bc
x12: 000000000000ef98 x13: 000003f558a4 x17: 00000000d8136251
x18: 00000000f1f22d90 x19: 000000000000001 x23: 00000000f1f303c0
x24: 00000000f3fdcff0 x25: 00000000000000001 x29: 00000000f1f0b470

Code: eb04005f 54000061 5resetting ...

 

To reproduce the issue (~13.11.2025-16.11.2025), simply download and flash the current `Minimal/IOT for Armbian Linux v6.12 [Debian] Debian 12 (Bookworm)` images (`https://www.armbian.com/nanopc-t4/`) and run `apt update & upgrade` on a running system, then reboot. After this, the system, regardless of whether the `SD card` or `EMMC` is used, will enter an infinite boot loop (`out` and file `failed_out.txt`). Thank you.

failed_log.txt armbian_release.txt normal_log.txt

[dale]

14 hours ago, Denis Kotlyarov said:

UART logs

Hi, can you please share which USB to TTL adapter to use for uart logs? I have an RK3399 board but it failed to show uart logs with CP2102 and CH340 adapters.

Thank you!

[Denis Kotlyarov]

5 часов назад, dale сказал:

Hi, can you please share which USB to TTL adapter to use for uart logs? I have an RK3399 board but it failed to show uart logs with CP2102 and CH340 adapters.

I used a regular ch340, most likely a fake. Keep in mind that the baud rate is 1500000 in both u-boot and Linux.

[Werner]

6 hours ago, dale said:

CP2102

not recommended for rockchip socs since it cannot handle the rather high baud rate of 1.5Mbaud. Use FT232, CH340 or CP2104 instead.