xen-platform: use builtin_pci_driver

Use builtin_pci_driver() helper to simplify the code.

Signed-off-by: Geliang Tang <[e-mail]>
Reviewed-by: Juergen Gross <[e-mail]>
Signed-off-by: Juergen Gross <[e-mail]>

drivers/xen/platform-pci.c

···
 	.id_table =       platform_pci_tbl,
 };
 
-static int __init platform_pci_init(void)
-{
-	return pci_register_driver(&platform_driver);
-}
-device_initcall(platform_pci_init);
+builtin_pci_driver(platform_driver);