Build dev image: simplify kernel extract instructions #26

Closed simonvanderveldt closed 6 years ago