Including utils/util.h in seL4HardwareMMIO
Including utils/util.h in seL4HardwareMMIO

This file uses the ROUND_UP macro, so explicitly including its definition.

smaccm/camkes-tool,smaccm/camkes-tool,smaccm/camkes-tool,smaccm/camkes-tool