x86: use platform_device_register_simple()