[DEV] More support for 64 bit devboards