I’ve added the firmware using those instructions. There is an issue with initialization sequence, the GPU initialized before the firmware is mounted. This is also noted in the instructions for loading the firmware into BOOTKERNFW