Make ezboot.ini work out of the box. D'oh.