Update kernel and hook up hello to rst 0x30