We used a hack to generate Android boot images and store them in the 
/boot partition. The proper way of doing so would rather be to store the 
boot images on the rootfs, then use a script to move them into the 
artifacts directory. By doing so, we can preserve /boot for future use.