- vac property enumeration pollutes namespace
- LEON sparc needs extra nop in task switch
- Comment out debugging printk.