mirror of
https://github.com/openwrt/openwrt.git
synced 2025-01-27 06:39:51 +00:00
a56d2e9d1b
Apparently, latest RPi firmware doesn't need this to boot RPi 4 64 bit kernels. Signed-off-by: Álvaro Fernández Rojas <noltari@gmail.com>