diff --git a/linux-aarch64/trusted-firmware-a/README.md b/linux-aarch64/trusted-firmware-a/README.md
index 1ccd80e..22d2fc5 100644
--- a/linux-aarch64/trusted-firmware-a/README.md
+++ b/linux-aarch64/trusted-firmware-a/README.md
@@ -5,6 +5,6 @@
 trusted-firmware-a was built, to generate 'bl31_spmd.bin', with the following commands:
 
 ```
-$ make CROSS_COMPILE=aarch64-none-elf- SPD=spmd CTX_INCLUDE_MTE_REGS=1 CTX_INCLUDE_EL2_REGS=1 ARM_ARCH_MINOR=5 BRANCH_PROTECTION=1 CTX_INCLUDE_PAUTH_REGS=1 PLAT=fvp SP_LAYOUT_FILE=dummy RESET_TO_BL31=1 ARM_LINUX_KERNEL_AS_BL33=1 PRELOADED_BL33_BASE=0x88000000 ARM_PRELOADED_DTB_BASE=0x82000000 -j8
+$ make CROSS_COMPILE=aarch64-none-elf- SPD=spmd CTX_INCLUDE_MTE_REGS=1 CTX_INCLUDE_EL2_REGS=1 ARM_ARCH_MINOR=5 BRANCH_PROTECTION=1 CTX_INCLUDE_PAUTH_REGS=1 PLAT=fvp SP_LAYOUT_FILE=dummy RESET_TO_BL31=1 ARM_LINUX_KERNEL_AS_BL33=1 PRELOADED_BL33_BASE=0x88000000 ARM_PRELOADED_DTB_BASE=0x82000000 GIC_EXT_INTID=1 -j8
 $ cp build/fvp/release/bl31.bin ../hafnium/prebuilts/linux-aarch64/trusted-firmware-a/fvp/bl31_spmd.bin
 ```
diff --git a/linux-aarch64/trusted-firmware-a/fvp/bl31_spmd.bin b/linux-aarch64/trusted-firmware-a/fvp/bl31_spmd.bin
index b13302c..3dd78ef 100755
--- a/linux-aarch64/trusted-firmware-a/fvp/bl31_spmd.bin
+++ b/linux-aarch64/trusted-firmware-a/fvp/bl31_spmd.bin
Binary files differ