Log Message: Fix missed references of randrext to randrproto. (TODO: this builtin.mk needs more testing.)