[PATCH] driver core: platform: Rename platform_get_irq_optional() to platform_get_irq_silent()