RE: ide kernel loading