When loading a 64-bit ARM guest kernel the tools similarly did not fully validate the requested load addresses, possibly leading to an
overrun on the input buffer when loading the kernel into guest RAM.