[HACK] disable EOI MI

Signed-off-by: Marc Zyngier <maz@kernel.org>
1 file changed