Import basic support for Samsung Exynos 5 support.

Submitted by:	Ruslan Bukin <br@bsdpad.com>
Reviewed by:	gonzo
style(9) fixes

MFC after:	2 days
Enable patth-through of IRQ30 and IRQ31 to PIC just as comment states
Teach UART to attach Exynos/s3/s5 class driver.

Submitted by:	Ruslan Bukin <br@bsdpad.com>
Reviewed by:	gonzo
- Fix IMAPx registers values calculation
- Initialize SMAPx registers too although they're unused in QEMU
- Do not pass IO/MEM resources to upper bus for activation, handle them locally.
    Previously ACTIVATE method of upper bus was no-op so nothing bad
    happened. But now FDT maps physaddr to vaddr and it causes
    troubles: fdtbus_activate_resource resource assumes that
    bustag/bushandle are already set which in this case is wrong.
Arndale Board (by Insignal) kernel config file.
More info on the Wiki page https://wiki.freebsd.org/FreeBSD/arm/ArndaleBoard

Submitted by:	Ruslan Bukin <br@bsdpad.com>
Reviewed by:	gonzo