make.py: add platform-option
bios: shorten abort wait and move flashboot last
memtest: papilio pro sdram changes