builder: add a parameter to pass options to BIOS Makefile