ci: Update Corstone-1000 MPS3 kernel loading

The current release of the Corstone-1000 MPS3 platform uses 0xf00000 as
the size of the kernel image that needs loading so we should adopt this
new value to ensure the kernel is not truncated.

Signed-off-by: Drew Reed <Drew.Reed@arm.com>