On some embedded systems 8250 compatible serial ports meant to be
defined in devicetree. Config SERIAL_OF_PLATFORM enables probing of
them.

Signed-off-by: Vasyl Vavrychuk <vasyl.vavrychuk@opensynergy.com>
Signed-off-by: Bruce Ashfield <bruce.ashfield@gmail.com>