4fa957c
Flush instruction cache before starting aa64 kernel Signed-off-by: Robbie Harwood <rharwood@redhat.com>