[PATCH 4.9 042/141] x86: boot: Fix EFI stub alignment