Oops, actually target Dusk v13...

rpi/hp-mini/pc-bios/pc-piix: upgrade to Dusk v13

hp-mini: target Dusk v12

pc-piix: target Dusk v12

pc-bios: target Dusk v12

rpi: target Dusk v12

getdusk.sh: fix bad dir checking

zenith-datasystems-8574: new port

getdusk.sh cleanup

hp-mini: target Dusk v11

Adding A64-OLinuXino to readme

pc-piix px-bios: target Dusk v11

rpi: target Dusk v11

Adding A64-OLinuXino deployment

rpi: consolidate

rpi: target Dusk v10

pc-bios: target Dusk v10

pine64: add filesystem support

pc-piix: target Dusk v10

pc-floppy: target Dusk v10