68a69
> loadAddrMask(p->load_addr_mask),
112c113
< kernel->loadSections(&functionalPort, LoadAddrMask);
---
> kernel->loadSections(&functionalPort, loadAddrMask);