Add assertion in kernel macros that return value is on expected placement

[mortendahl]

We should satisfy this invariant but are currently not checking it. It could potentially be a debug_assert.