そんでみんなivyでbootできた?
tonyさんとこのBridgeHelper3.0についてくるkernelでも起動できないんだが。
#3770K on GA-Z77X-D3H