id Summary Owner Type Priority Version Resolution 782 HelenOS does not boot on Raspberry Pi defect major mainline fixed