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>
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>