/*
 * Demotes the current task to a non-platform binary for testing purposes
 *
 * NOTE: platform-ness is tracked in many different places, and this API only
 * affects particular bits in the kernel - double check that it does what you want before using
 *
 * Returns: 0 on success, nonzero on failure
 */
extern int
remove_platform_binary(void);