Do options before we include platform config
Fix linux compilation issues with DVD_DRIVE