Builds for flash-kernel

Package:
No 'Needs building' build records.