dynamic-[2,3] comments refer to deprecated function.

[adam-antonik]

Hi,

dynamic-2 and dynamic-3 both have the old function signature for vka_mint_object referring to the departed seL4_CapData_t and contain the "hint" for the badge use seL4_CapData_Badge_new(), which is no longer necessary. Probably removing that hint and correctly settling the type of badge to seL4_Word should make things clear enough

[Kent McLeod]

Thanks for reporting this!

[Kent McLeod]

Fixed in #51

[Axel Heider]

@kent-mcleod Can we clsoe this then?