It was a doubt came to my mind when learning more about microcontrollers.
I belive it will be NOR type Flash.Beacuse NAND is not reliable without a dedicated controller and sophsiticated memory mamangement.This will consume more silicon.
Nor has random access capability which is essential in code execution.