Pues si quieres que funcione tienes qe ponerle a la variable 5000 el valor FFFF para que funcione.
Es decir, usar el comando:

setvar 0x5000 0xFFFF