Radxa: add support for the Lite version

The boot loader on the Radxa Rock is very limited and at this point it's not
possible to select a DTS.  For this reason, FreeBSD has two kernel
configuration files which include a static DTS.