inmates: x86: align code after 32-bit page table

Analogous to 906e53b246, fix also the 32-bit header.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>

diff --git a/inmates/lib/x86/header-32.S b/inmates/lib/x86/header-32.S
index efca8b7ec80abcd159f5c00bfc26bbbf6bdfff95..7487c8ae17283b7dbc5e5fd20130476a0b45fce7 100644 (file)
--- a/inmates/lib/x86/header-32.S
+++ b/inmates/lib/x86/header-32.S
@@ -84,3 +84,4 @@ gdt_ptr:
        .global loader_pdpt
 loader_pdpt:
        .long   0x00000083
+       .align(4096)