rpi: tizen-boot: change the kernel loading address