unstaged patch (urbit-armhf)

two files need patches for unportable options in armhf
they are not submitted upstream