It can't mean Windows Portable Executable as the boot is literally done by jmping to the start of the binary. Btw, you should add a comment next to the ARM64 magic, saying that it's "ARM\x64" or "ARMd" or compare it with `u32::from_le_bytes(*b"ARM\x64")` :)