Arora: apply all patches

Fixes #1124.
hw: fix bug in Kernel::update_*_region

fix #1125