Add partition_kernel in flash_kernel and fastboot partitions in deviceinfo

This allows to choose what partitions are used for fastboot in deviceinfo and in flash_kernel. Currently I'm porting Xiaomi Tissot which has dual partition system (boot_a/b, system_a/b...) but might come handy in other devices that also have this system (Google Pixel?)

Any suggestion is welcomed.