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