Pass -DBD_<device> to the BIOS stage1 objects