Не понятно почему к программной памяти обращение возможно только как к программной памяти. Если возможен загрузчик, то всяко программная память может и читаться и писаться. И альтернативы таблице с переходами не вижу. Иначе в случае модификации загрузчика придется перекомпилировать все, что может встретиться с этим загрузчиком. Слишком много сложностей ради выигрыша нескольких десятков байт и долей мкс при исполнении. ИМХО.