A small low-level helper to be consumed by L4 packages in order to make them L3-compatible