[PATCH 05/10] x86: Exit EFI boot services before starting kernel