[PATCH] fix array overrun in efi.c