T191: change PhysAddr, RAM, Frame, DevFrame and VNode_* cap types to have size in bytes

This only changes the actual struct capability reprensentation for these
types. Most of the code dealing with these types now uses log2ceil(bits) to
set the new `bytes` field.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Made mdb update kcb if compiled in 'kernel mode' and adapted mdb tests.

Make everything compile for 32bit.

Fixes mostly printf specifiers all over the source tree.

Make everything compile for 32bit.

Fixes mostly printf specifiers all over the source tree.

Added tests and benchmarks for MDB.