Merge proposals dependent on lp:~vojtech-horky/helenos/numa

lp:~vojtech-horky/helenos/numa has no merge proposals.