socz80 port for the de0 nano board