EFI: Add platform_init(), call from AMD64 startup code