Multiplier selection on Epox 8KHA+

[FatMan42]

Why is it that the currently released official BIOS doesn't support a 12.5x multiplier? I'm O/C-ing an 1800+ and I'd like to use this ratio. Hopefully the next official BIOS release will address that. I'm assuming that will have to happen soon, otherwise how can the board support the 2000+ chip (1667MHz / 133MHz = 12.5) ? Is there any reason that this shouldn't be possible? Reason I ask is that the higher multipliers have no half-integer options (i.e. it goes 11.5, 12, 13, 14, 15). Or, is that just because there's no relevant chips that use those ratios that have yet been released?