здесь написано следующее: "наша система драйверов сделана немного через задницу. поэтому разрядность адреса мы определяем либо по тому, что адрес не помещается в 8 разрядов, то есть > 255, либо по установленному 13 разряду."

для вас это означает, что к 11-разрядным адресам надо прибавить 4096.