SELFOUR-489: Remove 'bound' field from TCBs
SELFOUR-489: Remove 'bound' field from TCBs

Its probable this was meant to be a boolean flag to represent
whether or not the TCB had a bound notification object. However,
this field is unused and its presence is confusing.

cmr/seL4,zhicheng/seL4,zhicheng/seL4,cmr/seL4,cmr/seL4,zhicheng/seL4