fixup "rump: Port of the rump kernels to Genode"
rump: Remove deprecated ARM instruction

Substitute 'swpb' (swap byte) instruction with 'ldrexb/strexb', because 'swpb'
needs to be enabled explicitly by the kernel, which is done by neither HW or FOC.
When disabled, 'swpb' will cause an undefined instruction exception.

Issue #1048
mmio: provide bits method for bitsets

ref #1006
mmio: provide set and get method for bitsets

ref #1006
hw & arm: ease TLB permission bits via bitsets

ref #1006
hw & arm: ease TLB descriptor-type bits

ref #1006
hw & arm_v7: clean up TLB driver

ref #1006
hw & arm_v6: clean up TLB driver

ref #1006
hw & arm: declare every mapping as MP shared

ref #1006
hw: kernel initialization in extra function

ref #1006
hw: fix assembly alignments

ref #1006
hw & arm: clean up core CRT0

ref #1006
hw_arndale: idle threads on secondary processors

fix #1006