Local hack scripts to build freebsd-head for the raspberry pi