I traced my problem further down the line. It appears to be stuck just before the kernel is entered. When switching to el2, the blocking point appears to be in the arch->arm->lib->bootm.c. The code continues until armv8_switch_to_el2((u64)images->ft_addr, 0, 0, 0, images->ep, ES_TO_AARCH64);, however it does not return from this function, as I discovered by adding debug messages. In transition, the switch-function is transition.S
I have attempted to comment out this section, but doing so causes the board to reset.
I would be grateful for any assistance with this, thanks!