new action syntax for make.py + support xc3sprog
bios: update banner