Commit 4ab7834e added a fix for Debian bug #1029720 but only on the code path for compressed kernel images. However, it seems like the same
issue also exists on non-compressed images that are used at least on some ARM64 machines as reported in Debian bug #1033791.