Processed: systemd-boot-efi: does not load kernel on 64k boundary

[Debian Bug Tracking System]

Processing control commands:

> tag -1 +patch
Bug #1138699 [systemd-boot-efi] systemd-boot-efi: does not load kernel on 64k boundary
Added tag(s) patch.

-- 
1138699: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1138699
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems